Details
This tool provides the user with a number of functionalities such as:
- Modelling of Petri Nets
- Rechability Analysis of Petri Nets
- "Step by Step" Simulation of Petri Nets
- Fast Simulation of Petri Nets
- Transformation from and to PNML format
The picture below represents the Petri Net example taken from the book "Petrinetze" as it was designed with the use of the "Petri Net" Tool.
Biscuit Automatic Seller Machine
Project Details
- Open Model Initiatives Workshop September, 8th 2011 Presentation
- Documentation
- Modelling Examples
PetriNet Simulation Tool Method