Engberg, U., og G. Winskel. “Petri Nets As Models of Linear Logic”. DAIMI Report Series, bd. 19, nr. 301, februar 1990, doi:10.7146/dpb.v19i301.6682.