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