Gérard Berthelot Checking properties of nets using transformation. 19-40 1985 conf/apn/1985 Applications and Theory in Petri Nets db/conf/apn/apn1985.html#Berthelot85 http://dx.doi.org/10.1007/BFb0016204