Engberg, U., and G. Winskel. “Petri Nets As Models of Linear Logic”. DAIMI Report Series, vol. 19, no. 301, Feb. 1990, doi:10.7146/dpb.v19i301.6682.