Berndt Farwer.
Linear logic and Petri nets.
Lecture Notes of the MATCH summer school 1998. System Engineering: A
Petri Net Based Approach to Modelling, Verification and Implementation,
1998.
@unpublished{Farwer98b, Author = {Farwer, Berndt}, Institution = {Universidad de Zaragoza, Spain}, Note = {Lecture Notes of the MATCH summer school 1998. System Engineering: A {Petri} Net Based Approach to Modelling, Verification and Implementation}, Pages = {371--381}, Title = {Linear Logic and {Petri} Nets}, Year = 1998 }