Bibliography
18 and 22
Daniel Moldt.
Introduction and conclusion to part IV: Validation and execution.
In Girault and Valk , Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, chapters 18 and 22, pages
403-408, 469-470.
BibTeX
@INCOLLECTION{Moldt03,
AUTHOR = {Moldt, Daniel},
TITLE = {Introduction and Conclusion to Part {IV}:
Validation and Execution},
PAGES = {403--408, 469-470},
CHAPTER = {18 and 22},
TYPE = {Chapters},
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
}
