Engberg, Uffe H.

• BRICS Report Series No. 3 (1994): RS-3 Linear Logic on Petri Nets - Articles
  Linear Logic on Petri Nets
  Abstract  PDF