Bibliography

Petri Net Approaches for Modelling and Validation

Wil van der Aalst, José-Manuel Colom, Fabrice Kordon, Gabriela Kotsis, and Daniel Moldt, editors.
Petri Net Approaches for Modelling and Validation, LINCOM Studies in Computer Science, München, 2002. LINCOM Europa.

BibTeX

@PROCEEDINGS{Aalst+-e-02,
        ADDRESS            = {M{\"u}nchen},
        EDITOR             = {van der Aalst, Wil and Colom, Jos{\'e}-Manuel and Kordon, Fabrice and Kotsis, Gabriela and Moldt, Daniel},
        PUBLISHER          = {{LINCOM} Europa},
        SERIES             = {{LINCOM} Studies in Computer Science},
        TITLE              = {{Petri} Net Approaches for Modelling and Validation},
        BOOKTITLE          = {{Petri} Net Approaches for Modelling and Validation},
        YEAR               = 2002,
        ANNOTE             = {ISBN 3-89586-597-4}
}