Bibliography
Linear Logic and Petri Nets
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.
BibTeX
@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
}
