The following publications are possibly variants of this publication:
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying FrameworkMark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky. ENTCS, 44(4):140-162, 2001. [doi]
- Rewriting Logic as a Metalogical FrameworkDavid A. Basin, Manuel Clavel, José Meseguer. fsttcs 2000: 55-80 [doi]
- A rewriting logic approach to operational semanticsTraian-Florin Serbanuta, Grigore Rosu, José Meseguer. iandc, 207(2):305-340, 2009. [doi]
- From Petri Nets to Linear LogicNarciso Martí-Oliet, José Meseguer. mscs, 1(1):69-101, 1991.
- From Petri Nets to Linear LogicNarciso Martí-Oliet, José Meseguer. ctcs 1989: 313-340