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}
}
