Petri Net Paper Example

Petri Net Model Screenshot.
Petri Net Model Screenshot.

This modeling tool is used as a running example in the upcoming article “CINCO: A Simplicity-Driven Approach to Full Generation of Domain-Specific Graphical Modeling Tools”. It allows for the modeling of simple place/transition nets and their manual simulation by double-clicking on transitions.

Download Project ZIP

Getting Started

We provide here only very rough step-by-step instructions to getting started. Please refer to the the user’s manual from the resources page in case more detailed instructions are required.

Clicking on the headlines unfolds the individual sections.

Prepare Cinco

Import the PetriNet Project

Build and Run PetriNet Product

Model Petri Nets