Tool demonstrations
- The New Petri Net Kernel An Overview
Michael Weber and Ekkart Kindler - MARIA: Modular Rechability Analyzer for Algebraic System Nets
Marko Mäkelä - CPN Tools: A Tool for Editing and Simulating Coloured Petri
Nets
Søren Christensen - The Design/CPN State Space Tool
Louise Lorentsen and Thomas Mailund