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.
@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 }