[1]
U. H. Engberg and G. Winskel, “Linear Logic on Petri Nets”,
BRICS
, vol. 1, no. 3, Feb. 1994.