Engberg, U. H.; Winskel, G. Linear Logic on Petri Nets. BRICS 1994, 1.