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