Bibliography
Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications
C. Girault and Rüdiger Valk, editors.
Petri Nets for Systems Engineering: A Guide to Modelling,
Verification, and Applications, Berlin, Heidelberg, New York, 2003.
Springer-Verlag.
BibTeX
@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
}
