On the model of computation of Place/Transition Petri nets (1994)

by J Meseguer, U Montanari, V Sassone
Venue:In Proc. of the 15th Int. Conference on Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science