Bibliography
16.4
Berndt Farwer.
Linear logic and Petri nets.
In Girault and Valk , Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, section 16.4, pages
370-382.
BibTeX
@incollection{Farwer03a,
Author = {Farwer, Berndt},
Title = {Linear Logic and {Petri} Nets},
Pages = {370--382},
chapter = {16.4},
type = {Section},
crossref = {Girault+-e-03},
Year = 2003
}
@PROCEEDINGS{Girault+-e-03,
EDITOR = {Girault, C. and Valk, R{\"u}diger},
TITLE = {{Petri} Nets for Systems Engineering:
A Guide to Modelling, Verification, and Applications},
BOOKTITLE = {{Petri} Nets for Systems Engineering:
A Guide to Modelling, Verification, and Applications},
ADDRESS = Springer.addr,
PUBLISHER = Springer,
YEAR = 2003
}
