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.1. Please visit this example’s GitLab project for most recent updates.

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

• download the correct ZIP file for your OS from the download page
• extract the ZIP file
• run the cinco launcher (cinco, cinco.exe or cinco.app) from the extracted main folder cinco-1.1
• Confirm workspace directory (or select different location first)

Import the PetriNet Project

• Right-click in Project Explorer
• Import
• General / Existing Projects into Workspace
• Click on button ‘Select Archive File’
• Click on ‘Browse’ and find the downloaded info.scce.cinco.product.petrinetpaper.zip
• Finish

Build and Run PetriNet Product

• Right-click on info.scce.cinco.product.petrinetpaper/model/PetriNetModeler.cpd
• Generate Cinco Product
• Wait for completion dialog
• Right-click on project root node info.scce.cinco.product.petrinetpaper
• Run as / Eclipse Application

Model Petri Nets

• Right-click in Project Explorer of the newly launched Eclipse instance
• New / New PetriNetModeler Project
• Give it a name (we assume myProject from now)
• Finish
• Right-click on myProject in Explorer
• New / New PetriNetli>
• Give it a name
• Add place and transition nodes
• Connect them with arcs by dragging from the arrow icon that appears when hovering over a place/transtion and releasing the mouse button when hovering over the target node
• Give some places a token count >0
• Test the simulation by double-clicking on transitions that are enabled