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