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