List of Petri net tools

The following is a list of Petri net tools.

A Petri net is one of several mathematical representations of discrete distributed systems. As a modeling language, it graphically depicts the structure of a distributed system as a directed bipartite graph with annotations.

[edit] Free or open source

ARP [1] - GPL, no longer maintained Turbo Pascal code
COOPN Language and COOPNTools
CPN Tools [2] - Tool for editing, simulating and analysing Coloured Petri Nets. It use the CPN ML language
ExSpecT – can be freely downloaded and used, but the source code is not public
Geist3D - , an open-source 3D graphics engine and IDE that supports a combination of Petri Nets and Python as a programming language
Helena [3] - GPL - High Level Colored Petri Nets Analyzer
JFern [4] - GPL - High Level Colored Petri Nets Editor and Simulator. Written in Java. Inscription code in Java.
Maria [5] - GPL license
Petit Petri - A simple Petri Net Editor done with 33 lines of EToy-Code
Petri Net Kernel[6] - GPL, versions in Python and Java
Platform Independent Petri Net Editor [7] - Platform Independent Petri Net Editor 2
PROD[8] - GPL license
P-UMLaut [9] - A tool that transforms UML 2.0 Sequence Diagrams into Petri Nets and simulate with 3D
Tina[10] - Unknown license, but the binary can be downloaded from their web site
YASPER - A tool making it easy to model and simulate workflow processes based on extended Petri Nets.