Engberg, Uffe, og Glynn Winskel. “Completeness Results for Linear Logic on Petri Nets”. DAIMI Report Series, bd. 22, nr. 435, april 1993, doi:10.7146/dpb.v22i435.6752.