U. Engberg og G. Winskel, “Completeness Results for Linear Logic on Petri Nets”, DPB, bd. 22, nr. 435, apr. 1993.