U. Engberg and G. Winskel, “Petri Nets as Models of Linear Logic”, DPB, vol. 19, no. 301, Feb. 1990.