PetriNets

Keywords:

Affiliation: Humboldt Universität Berlin

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