Petri Net Paper Example

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.

  • 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-0.7
  • Confirm workspace directory (or select different location first)

  • 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

  • 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

  • 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