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