Petri Net Paper Example

This modeling tool is used as a running example in the STTT 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

The above download is for Cinco 1.0. Please visit this example’s GitLab project for most recent updates.

Petri Net Model Screenshot

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.

Prepare Cinco

Import the PetriNet Project

Build and Run PetriNet Product

Model Petri Nets