Engberg, U. H., og G. Winskel. “Linear Logic on Petri Nets”. BRICS Report Series, bd. 1, nr. 3, februar 1994, doi:10.7146/brics.v1i3.21667.