U. Engberg and G. Winskel, “Completeness Results for Linear Logic on Petri Nets”, DPB, vol. 22, no. 435, Apr. 1993.