Bibliography
19.4
Daniel Moldt.
Tools.
In Girault and Valk , Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, section 19.4, pages
412-415.
BibTeX
@INCOLLECTION{Moldt03b,
AUTHOR = {Moldt, Daniel},
TITLE = {Tools},
PAGES = {412--415},
CHAPTER = {19.4},
TYPE = {Section},
YEAR = 2003,
CROSSREF = {Girault+-e-03}
}
@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
}
