For the most recent entries see the Petri Nets Newsletter.

Modelling and Verification with Petri Nets.

Mackenthun, R; Voorhoeve, M.

In: W. van der Aalst, J.-M. Colom, F. Kordon, G. Kotsis and D. Moldt (Eds.): Petri Net Approaches for Modelling and Validation, Lincom Studies in Computer Science 01, pages 67-80. Lincom Europa, Munich, 2003, 2003.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography