On the Semantics of Petri Nets, (1992)

by J Meseguer, U Montanari, V Sassone
Venue:LNCS 630, Proc. of CONCUR’92,