Petri Nets Tools Database Quick Overview

The table below is useful to get an overview of existing tools, and to make rough comparisons.

This page can only be viewed with a browser which supports tables (HTML3).

Overview Features Environments

PN Supported Components
ALPHA/Sim High-level Petri Nets Graphical Editor SunOS
Petri Nets with Time Token Game Animation Solaris
homepage Fast Simulation MS Windows NT
Simple Performance Analysis
Comm.
AlPiNA High-level Petri Nets Graphical Editor Java
State Spaces
homepage Condensed State Spaces
Simple Performance Analysis
Free of charge Interchange File Format

ARP Place/Transition Nets Fast Simulation PC, MS DOS

Petri Nets with Time State Spaces
homepage Place Invariants
Transition Invariants
Free of charge Structural Analysis
Simple Performance Analysis

Artifex Object-oriented PNs Graphical Editor Sun, SunOS

High-level Petri Nets Token Game Animation HP, HP-UX
homepage Place/Transition Nets Fast Simulation Silicon Graphics, IRIX
Petri Nets with Time Structural Analysis PC, Linux
Comm. (acad. disc.) PC, MS Windows NT
 Advanced Performance Analysis PC, MS Windows 2000
PC, MS Windows XP
CoopnBuilder Object-oriented PNs Graphical Editor Java
High-level Petri Nets Token Game Animation
homepage Fast Simulation

Free of charge Code generation

COSA BPM High-level Petri Nets Graphical Editor Sun, SunOS
Token Game Animation HP, HP-UX
homepage Workflow Management System PC, Linux
PC, MS Windows 98
Comm. (acad. disc.) PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
Java
Cosmos Place/Transition Nets Fast Simulation PC, Linux
Stochastic Petri Nets Interchange File Format Macintosh, Mac OS X
homepage
Stochastic Symmetric Nets Rare Event Simulation
Free of charge
CPN-AMI High-level Petri Nets Graphical Editor PC, Linux
Place/Transition Nets Fast Simulation Macintosh, Mac OS
homepage State Spaces
Condensed State Spaces
Free of charge Place Invariants
Transition Invariants
Structural Analysis
Interchange File Format

Services for Moduar Modeling

CPN Tools High-level Petri Nets Graphical Editor PC, Linux
Petri Nets with Time Token Game Animation PC, MS Windows 2000
homepage Fast Simulation PC, MS Windows XP
 State Spaces
Free of charge Simple Performance Analysis
Interchange File Format

Disc Software Place/Transition Nets Graphical Editor Silicon Graphics, IRIX

Platform Structural Analysis PC, MS Windows XP
Interchange File Format
homepage Workflow Management System

Free of charge
ePNK High-level Petri Nets Graphical Editor
Place/Transition Nets State Spaces
homepage
New types can be plugged in Model checker (for P/T nets); new
Free of charge functionality can be plugged in
ExSpect High-level Petri Nets Graphical Editor MS Windows
Place/Transition Nets Token Game Animation
homepage Stochastic Petri Nets Fast Simulation
Petri Nets with Time Simple Performance Analysis
Comm. (acad. disc.) Advanced Performance Analysis
Hierarchy in modelling Rapid Prototyping
Workflow Management System

Simulation engine available as

COM component
FLOWer Place/Transition Nets Graphical Editor HP, HP-UX
Rapid Prototyping PC, Linux
homepage Workflow Management System PC, MS Windows 2000
Java
Comm. (acad. disc.) case handling system
Fluid Survival Tool Stochastic Petri Nets Simple Performance Analysis PC, Linux
Petri Nets with Time Advanced Performance Analysis
homepage
Free of charge
F-net Stochastic Petri Nets Graphical Editor MS Windows
Petri Nets with Time Token Game Animation OS/2
homepage Fast Simulation
State Spaces
Comm. (acad. disc.) Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis

GDToolkit High-level Petri Nets Sun

Place/Transition Nets Linux
homepage Automatic layout MS Windows

Comm. (acad. free)

Geist3D High-level Petri Nets PC, MS Windows NT
Place/Transition Nets PC, MS Windows 2000
homepage Petri Nets with Time PC, MS Windows XP

Free of charge
GHENeSys High-level Petri Nets Graphical Editor Java
Place/Transition Nets Token Game Animation
Petri Nets with Time Place Invariants
Transition Invariants
Free of charge Simple Performance Analysis

GPenSIM High-level Petri Nets State Spaces

Place/Transition Nets Place Invariants
homepage Petri Nets with Time Transition Invariants
Structural Analysis
Simple Performance Analysis
 Advanced Performance Analysis

GreatSPN High-level Petri Nets Graphical Editor Sun

Stochastic Petri Nets Token Game Animation Linux
homepage Petri Nets with Time Fast Simulation
State Spaces
Comm. (acad. free) Condensed State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Advanced Performance Analysis

Helena High-level Petri Nets State Spaces Linux

Condensed State Spaces
homepage Net Reductions

Free of charge
HiQPN-Tool High-level Petri Nets Graphical Editor Sun
Stochastic Petri Nets Token Game Animation
homepage State Spaces
Place Invariants
Free of charge Transition Invariants
Advanced Performance Analysis
Interchange File Format

HISIm High-level Petri Nets Graphical Editor Java

Place/Transition Nets Token Game Animation
homepage Petri Nets with Time Fast Simulation

Free of charge Hybrid Petri Nets

HPSim Place/Transition Nets Graphical Editor PC, MS Windows 95
Stochastic Petri Nets Token Game Animation PC, MS Windows 98
homepage Fast Simulation PC, MS Windows NT
 Petri Nets with Time Simple Performance Analysis PC, MS Windows 2000
Free of charge PC, MS Windows XP
HSTPNSim Place/Transition Nets Graphical Editor PC, MS Windows XP
Stochastic Petri Nets Fast Simulation
homepage Petri Nets with Time

Probabilistic Petri Nets

INA High-level Petri Nets State Spaces Sun
Place/Transition Nets Condensed State Spaces Linux
homepage Petri Nets with Time Place Invariants MS Windows
Transition Invariants
Free of charge Net Reductions
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis
Interchange File Format

CTL-based model checker

Income Suite High-level Petri Nets Graphical Editor Sun, SunOS
Place/Transition Nets Token Game Animation HP, HP-UX
homepage Petri Nets with Time Fast Simulation PC, Linux
Workflow Management System PC, MS Windows 2000
Comm. (acad. free) PC, MS Windows XP
Java
IOPT-Tools Place/Transition Nets Graphical Editor PC, Linux
Token Game Animation PC, MS Windows 2000
homepage Fast Simulation PC, MS Windows XP
State Spaces Macintosh, Mac OS
Free of charge Interchange File Format Macintosh, Mac OS X
Rapid Prototyping

C and VHDL code generation

ITS Tools High-level Petri Nets Graphical Editor PC, Linux
 Place/Transition Nets State Spaces PC, MS Windows XP
homepage Petri Nets with Time Condensed State Spaces Macintosh, Mac OS X

Free of charge PNML LTL, CTL

JARP Place/Transition Nets Graphical Editor Java
Token Game Animation
homepage State Spaces
Interchange File Format
Free of charge
JFern Object-oriented PNs Graphical Editor Java
High-level Petri Nets Token Game Animation
homepage Place/Transition Nets Fast Simulation
Petri Nets with Time State Spaces
Free of charge Simple Performance Analysis
Interchange File Format

JPetriNet Place/Transition Nets Graphical Editor Java

Petri Nets with Time Structural Analysis
homepage

Free of charge
JSARP Object-oriented PNs Graphical Editor Java
Token Game Animation
homepage Fast Simulation
Structural Analysis
Free of charge
Kontinuum High-level Petri Nets Graphical Editor PC, MS Windows NT
Petri Nets with Time Simple Performance Analysis PC, MS Windows 2000
homepage Workflow Management System PC, MS Windows XP

Comm. (acad. disc.)

LoLA High-level Petri Nets Fast Simulation Sun, SunOS
State Spaces HP, HP-UX
homepage Place/Transition Nets Condensed State Spaces Silicon Graphics, IRIX
PC, Linux
Free of charge PC, MS DOS
PC, OS/2
PC, MS Windows 95
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
Maria High-level Petri Nets Token Game Animation Sun, SunOS 5.7 and 5.8 (32-
Place/Transition Nets Fast Simulation bit and 64-bit)
homepage Modular high-level nets State Spaces Digital, UNIX 4.0
Labelled state transition systems Silicon Graphics, IRIX 6.5
Free of charge Modular state spaces (32-bit and 64-bit)
LTL model checker with fairness HP-UX 11.22
assumptions NetBSD, FreeBSD, OpenBSD
Very high-level data types and PC, Linux
operations PC, MS Windows 95 and later
Apple, Mac OS X 10.1
Mercury Stochastic Petri Nets Transition Invariants Java
Structural Analysis
homepage Simple Performance Analysis
Advanced Performance Analysis
Free of charge Interchange File Format

MISS-RdP Stochastic Petri Nets Graphical Editor Sun, SunOS

Petri Nets with Time Fast Simulation PC, MS Windows NT
homepage PC, MS Windows 2000
Coloured Petri Nets
Comm.
mist Place/Transition Nets State Spaces PC, Linux
Condensed State Spaces
homepage Place Invariants
 Transition Invariants
Free of charge Net Reductions

mist2 Place/Transition Nets State Spaces PC, Linux

Condensed State Spaces Macintosh, Mac OS X
homepage Place Invariants
Net Reductions
Free of charge
MISTA High-level Petri Nets Graphical Editor Java
Token Game Animation
homepage State Spaces

Comm. (acad. free) Reachachability analysis, test

generation
Netlab Place/Transition Nets Graphical Editor PC, MS Windows NT
Token Game Animation PC, MS Windows 2000
homepage Discrete part of Petri net state model Fast Simulation PC, MS Windows XP
(Input/Output extensions to P/T nets alike State Spaces
Comm. (acad. free) signal interpreted nets) Condensed State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Interchange File Format

Nevod Graphical Editor MS DOS

Token Game Animation
homepage Inhibitor Petri nets Fast Simulation

Comm.
Opera Petri Nets with Time Graphical Editor MS DOS
Token Game Animation
homepage Fast Simulation
State Spaces
Comm. Condensed State Spaces
Place Invariants
Transition Invariants
Net Reductions
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis
Interchange File Format

ORIS Stochastic Petri Nets Graphical Editor PC, Linux

Petri Nets with Time State Spaces PC, MS Windows XP
homepage Advanced Performance Analysis Macintosh, Mac OS X
Java
Free of charge
P3 Place/Transition Nets Graphical Editor PC, MS Windows 98
Token Game Animation PC, MS Windows NT
homepage Upgraded Petri Nets Fast Simulation PC, MS Windows 2000
State Spaces PC, MS Windows XP
Free of charge Condensed State Spaces
Interchange File Format

Petri net ontology

PACE High-level Petri Nets Graphical Editor PC, MS Windows 95
Place/Transition Nets Token Game Animation PC, MS Windows 98
homepage Stochastic Petri Nets Fast Simulation PC, MS Windows NT
Petri Nets with Time Net Reductions PC, MS Windows 2000
Comm. (acad. disc.) PC, MS Windows XP
Attributed Petri Nets Fuzzy Technics, Net
Optimizations
PED Place/Transition Nets Graphical Editor Sun, SunOS
Token Game Animation PC, Linux
homepage
Free of charge
PEP High-level Petri Nets Graphical Editor Sun
Place/Transition Nets Token Game Animation Linux
homepage Petri Nets with Time State Spaces
Condensed State Spaces
Free of charge Place Invariants
Transition Invariants
Net Reductions
Structural Analysis
Interchange File Format

Model Checking
Petri Net Generators
PetitPetri Place/Transition Nets Graphical Editor PC, Linux
Petri Nets with Time Rapid Prototyping PC, MS Windows 95
homepage PC, MS Windows 98
PC, MS Windows NT
Free of charge PC, MS Windows 2000
PC, MS Windows XP
Macintosh, Mac OS
Macintosh, Mac OS X
Petrigen Place/Transition Nets Graphical Editor PC, Linux
Token Game Animation PC, MS Windows 95
homepage PC, MS Windows 98
synthesis PC, MS Windows NT
Free of charge PC, MS Windows 2000
PC, MS Windows XP
Petri-lld Graphical Editor Java
Token Game Animation
homepage Elementary Nets Rapid Prototyping

Free of charge
Petri Net Kernel High-level Petri Nets Graphical Editor Java
 Place/Transition Nets Token Game Animation
homepage Interchange File Format
DAWN-Nets
Free of charge User definable INA-pilot
User definable
Petri .NET Simulator Place/Transition Nets Graphical Editor PC, MS Windows 98
Petri Nets with Time Token Game Animation PC, MS Windows NT
homepage Fast Simulation PC, MS Windows 2000
Simple Performance Analysis PC, MS Windows XP
Comm. (acad. disc.)
Subsystem blocks
Petri Net Toolbox Place/Transition Nets Graphical Editor
Stochastic Petri Nets Token Game Animation
homepage Petri Nets with Time Fast Simulation
State Spaces
Comm. (acad. disc.) Generalized Stochastic Petri Nets Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis
Interchange File Format

Max-plus Analysis for Marked

Graphs
PetriSim High-level Petri Nets Graphical Editor MS DOS
Place/Transition Nets Fast Simulation
homepage Petri Nets with Time

Free of charge
Petruchio High-level Petri Nets Graphical Editor Sun, SunOS
Place/Transition Nets Token Game Animation HP, HP-UX
homepage Stochastic Petri Nets Fast Simulation PC, Linux
Petri Nets with Time State Spaces PC, MS Windows 95
Free of charge Place Invariants PC, MS Windows 98
Transfer Petri Nets Net Reductions PC, MS Windows NT
Simple Performance Analysis PC, MS Windows 2000
Interchange File Format PC, MS Windows XP
Macintosh, Mac OS
Macintosh, Mac OS X
Java
Platform Independent Place/Transition Nets Graphical Editor Java
Petri Net Editor 2 Token Game Animation
Fast Simulation
homepage State Spaces
Condensed State Spaces
Free of charge Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis
Interchange File Format

Extensible Analysis Modules and

File Formats
PNEditor Place/Transition Nets Graphical Editor Java
Interchange File Format
homepage

Free of charge
PNetLab High-level Petri Nets Graphical Editor PC, MS Windows XP
Place/Transition Nets Token Game Animation
homepage Petri Nets with Time Place Invariants
Transition Invariants
Free of charge Structural Analysis
Simple Performance Analysis
Interchange File Format
PNML Framework PNML Core Model Interchange File Format PC, Linux
Place/Transition Nets PC, Windows XP
homepage Symmetric Nets Professional, Vista
High-Level Petri Nets Professional, Server 2003
Free of charge Place/Transition Nets in High-Level Macintosh PPC 32 bits and
Notation Intel 64 bits, Mac OS X
Java
PNSim Place/Transition Nets Graphical Editor MS Windows
Token Game Animation Java
homepage Structural Analysis

Free of charge Simple Net Analysis

PN-Suite Place/Transition Nets Token Game Animation PC, Linux
Net Reductions PC, MS Windows XP
homepage Interchange File Format Macintosh, Mac OS
Macintosh, Mac OS X
slicing; transformation
PNtalk High-level Petri Nets Graphical Editor Sun
Petri Nets with Time Token Game Animation MS Windows
homepage Fast Simulation
Simple Performance Analysis
Free of charge
Poses++ High-level Petri Nets Fast Simulation Sun
Linux
homepage MS Windows

Free of charge
Predator Place/Transition Nets Graphical Editor Java
Stochastic Petri Nets Place Invariants
homepage Transition Invariants
hierarchical Petri Nets (Subnets) Interchange File Format
Free of charge
Dynamic Loading of Analysis
 modules
PROD High-level Petri Nets State Spaces Sun, SunOS
Place/Transition Nets Condensed State Spaces HP, HP-UX
homepage Silicon Graphics, IRIX
LTL Model Checking, CTL PC, Linux
Free of charge Model Checking PC, MS Windows 95
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
ProM framework High-level Petri Nets State Spaces PC, Linux
Place/Transition Nets Place Invariants PC, MS Windows 95
homepage Transition Invariants PC, MS Windows 98
Net Reductions PC, MS Windows NT
Free of charge Structural Analysis PC, MS Windows 2000
Simple Performance Analysis PC, MS Windows XP
Advanced Performance Analysis Macintosh, Mac OS
Interchange File Format Macintosh, Mac OS X
Java
Conformance
PROTOS Place/Transition Nets Graphical Editor PC, MS Windows 98
Stochastic Petri Nets Fast Simulation PC, MS Windows NT
homepage Petri Nets with Time Structural Analysis PC, MS Windows 2000
Simple Performance Analysis PC, MS Windows XP
Comm. (acad. disc.) Rapid Prototyping
Workflow Management System

PTN Engine Place/Transition Nets Fast Simulation PC, Linux

Rapid Prototyping PC, MS Windows XP
homepage

QPME High-level Petri Nets Graphical Editor Sun, SunOS

Place/Transition Nets Fast Simulation HP, HP-UX
homepage Stochastic Petri Nets Advanced Performance Analysis PC, Linux
Interchange File Format PC, MS Windows XP
Free of charge (Hierarchical) Queueing Petri Nets Macintosh, Mac OS X
Java
Renew Object-oriented PNs Graphical Editor Java
High-level Petri Nets Token Game Animation
homepage Place/Transition Nets Fast Simulation
Petri Nets with Time Interchange File Format
Free of charge Rapid Prototyping
Workflow Management System

Romeo Petri Nets with Time Graphical Editor PC, Linux

State Spaces Macintosh, Mac OS X
homepage

SamaTulyata High-level Petri Nets Graphical Editor PC, Linux

Place/Transition Nets
homepage

SEA High-level Petri Nets Graphical Editor Sun

Petri Nets with Time Token Game Animation
homepage Fast Simulation

Free of charge Abstract Graphical Visualization

SimHPN Hybrid petri nets Graphical Editor MATLAB 7.0 or higher
Fast Simulation
homepage State Spaces
Place Invariants
Comm. (acad. disc.) Transition Invariants
Structural Analysis
Simple Performance Analysis

Simulaworks, Petri Place/Transition Nets Graphical Editor PC, MS Windows 2000

Nets Simulator Stochastic Petri Nets Fast Simulation PC, MS Windows XP
Petri Nets with Time
homepage

Comm.
SIPN-Editor Graphical Editor Java

homepage Interpreted Petri Nets Code Generation for PLC,

Translation into SMV Code
Free of charge
SNAKES High-level Petri Nets Fast Simulation Sun, SunOS
Place/Transition Nets State Spaces HP, HP-UX
homepage Condensed State Spaces Silicon Graphics, IRIX
PBC and M-nets family Interchange File Format PC, Linux
Free of charge Rapid Prototyping PC, MS DOS
PC, OS/2
PC, MS Windows 95
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
Macintosh, Mac OS
Macintosh, Mac OS X
Snoopy Place/Transition Nets Graphical Editor PC, Linux
Stochastic Petri Nets Token Game Animation PC, MS Windows 2000
homepage Petri Nets with Time Fast Simulation PC, MS Windows XP
Macintosh, Mac OS X
Free of charge Continuous Petri Nets
SPNP High-level Petri Nets Advanced Performance Analysis PC, MS Windows 98
Stochastic Petri Nets
homepage

Comm. (acad. free)

StpnPlay Stochastic Petri Nets Graphical Editor PC, MS Windows 95
Petri Nets with Time Fast Simulation PC, MS Windows 98
homepage Simple Performance Analysis PC, MS Windows NT
Interchange File Format PC, MS Windows 2000
Free of charge PC, MS Windows XP
SYROCO High-level Petri Nets Graphical Editor C++
Petri Nets with Time Fast Simulation
homepage Simple Performance Analysis
Dynamic instantiation of nets, C++ code Interchange File Format
Comm. (acad. free) associated to transitions and places,
priority C++ code generation
TAPAAL Place/Transition Nets Graphical Editor Sun, SunOS
Petri Nets with Time Token Game Animation HP, HP-UX
homepage Advanced Performance Analysis Silicon Graphics, IRIX
Interchange File Format PC, Linux
Free of charge PC, MS DOS
PC, OS/2
PC, MS Windows 95
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
Macintosh, Mac OS
Macintosh, Mac OS X
Java
The Model-Checking High-level Petri Nets State Spaces Sun
Kit Place/Transition Nets Condensed State Spaces Linux

homepage CTL-/LTL-Model-Checking,
Deadlock-Checking,
Free of charge Reachability-Checking
TimeNET High-level Petri Nets Graphical Editor PC, Linux
Place/Transition Nets Token Game Animation PC, MS Windows XP
homepage Stochastic Petri Nets Fast Simulation
Petri Nets with Time Place Invariants
Comm. (acad. free) Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis

Tina Place/Transition Nets Graphical Editor Sun, SunOS

Petri Nets with Time Token Game Animation PC, Linux
homepage State Spaces PC, MS Windows 98
Time Petri Nets Condensed State Spaces PC, MS Windows NT
Free of charge Place Invariants PC, MS Windows 2000
Transition Invariants PC, MS Windows XP
Macintosh, Mac OS X
State Class Spaces
Visual Object Net ++ Place/Transition Nets Graphical Editor MS Windows
Petri Nets with Time Token Game Animation
homepage Fast Simulation
Hybrid Dynamic Nets and Hybrid Object Structural Analysis
Free of charge Nets Simple Performance Analysis

supports object hierarchies

VisualPetri Place/Transition Nets Graphical Editor PC, MS Windows XP
Token Game Animation
homepage

Free of charge
WebSPN Stochastic Petri Nets Graphical Editor PC, Linux
Token Game Animation Java
homepage Non Markovian Stochastic Petri Nets State Spaces
Condensed State Spaces
Free of charge Advanced Performance Analysis

Memory policies
WINSIM Advanced Performance Analysis

homepage Extended high-level Petri nets

Wolfgang High-level Petri Nets Graphical Editor PC, Linux

Place/Transition Nets Token Game Animation Macintosh, Mac OS X
homepage State Spaces Java
Structural Analysis
Free of charge Interchange File Format

Workflow Net Property Analysis,

PNML Compliant
WoPeD Place/Transition Nets Graphical Editor Java
Resource Editor (roles and
homepage Workflow Nets groups)
Subprocess Support
Free of charge Token Game Animation
Interchange File Format
Semantical Analysis (soundness
check)
Woflan Analysis Interface
Quantitative Analysis
(throughput, waiting time)
Capacity Planning (resource
usage)

XRL/flower High-level Petri Nets Workflow Management System PC, MS Windows 2000
Java
homepage WF Nets

Free of charge
Yasper Place/Transition Nets Graphical Editor PC, MS Windows 2000
Stochastic Petri Nets Token Game Animation PC, MS Windows XP
homepage Petri Nets with Time Fast Simulation
Net Reductions
Free of charge Simple Performance Analysis
Interchange File Format

workflow case distinction

YAWL High-level Petri Nets Graphical Editor Java
Token Game Animation
homepage YAWL supports multiple instances, OR- Interchange File Format
joins, and cancellation sets. Workflow Management System
Free of charge