Engberg, U. and Winskel, G. (1993) “Completeness Results for Linear Logic on Petri Nets”, DAIMI Report Series, 22(435). doi: 10.7146/dpb.v22i435.6752.