V.: On the Model of Computation of Place/Transition Petri Nets (1994)

by J Meseguer, U Montanari, Sassone
Venue:Proc. of the 15th Int. Conference on Application and Theory of Petri Nets, 815