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
}