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).


OverviewFeaturesEnvironments
PN SupportedComponents
ALPHA/Sim

homepage

Comm.
High-level Petri Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
Simple Performance Analysis

SunOS
Solaris
MS Windows NT
AlPiNA

homepage

Free of charge
High-level Petri Nets

Graphical Editor
State Spaces
Condensed State Spaces
Simple Performance Analysis
Interchange File Format

Java
ARP

homepage

Free of charge
Place/Transition Nets
Petri Nets with Time

Fast Simulation
State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis

PC, MS DOS
Artifex

homepage

Comm. (acad. disc.)
Object-oriented PNs
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
Structural Analysis
Advanced Performance Analysis

Sun, SunOS
HP, HP-UX
Silicon Graphics, IRIX
PC, Linux
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
CoopnBuilder

homepage

Free of charge
Object-oriented PNs
High-level Petri Nets

Graphical Editor
Token Game Animation
Fast Simulation

Code generation
Java
COSA BPM

homepage

Comm. (acad. disc.)
High-level Petri Nets

Graphical Editor
Token Game Animation
Workflow Management System

Sun, SunOS
HP, HP-UX
PC, Linux
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
Java
CPN-AMI

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets

Graphical Editor
Fast Simulation
State Spaces
Condensed State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Interchange File Format

Services for Moduar Modeling
PC, Linux
Macintosh, Mac OS
CPN Tools

homepage

Free of charge
High-level Petri Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Simple Performance Analysis
Interchange File Format

PC, Linux
PC, MS Windows 2000
PC, MS Windows XP
Disc Software Platform

homepage

Free of charge
Place/Transition Nets

Graphical Editor
Structural Analysis
Interchange File Format
Workflow Management System

Silicon Graphics, IRIX
PC, MS Windows XP
ePNK

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets

New types can be plugged in
Graphical Editor
State Spaces

Model checker (for P/T nets); new functionality can be plugged in
ExSpect

homepage

Comm. (acad. disc.)
High-level Petri Nets
Place/Transition Nets
Stochastic Petri Nets
Petri Nets with Time

Hierarchy in modelling
Graphical Editor
Token Game Animation
Fast Simulation
Simple Performance Analysis
Advanced Performance Analysis
Rapid Prototyping
Workflow Management System

Simulation engine available as COM component
MS Windows
FLOWer

homepage

Comm. (acad. disc.)
Place/Transition Nets

Graphical Editor
Rapid Prototyping
Workflow Management System

case handling system
HP, HP-UX
PC, Linux
PC, MS Windows 2000
Java
F-net

homepage

Comm. (acad. disc.)
Stochastic Petri Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis

MS Windows
OS/2
GDToolkit

homepage

Comm. (acad. free)
High-level Petri Nets
Place/Transition Nets



Automatic layout
Sun
Linux
MS Windows
Geist3D

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time



PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
GreatSPN

homepage

Comm. (acad. free)
High-level Petri Nets
Stochastic Petri Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Condensed State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Advanced Performance Analysis

Sun
Linux
Helena

homepage

Free of charge
High-level Petri Nets

State Spaces
Condensed State Spaces
Net Reductions

Linux
HiQPN-Tool

homepage

Free of charge
High-level Petri Nets
Stochastic Petri Nets

Graphical Editor
Token Game Animation
State Spaces
Place Invariants
Transition Invariants
Advanced Performance Analysis
Interchange File Format

Sun
HISIm

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Hybrid Petri Nets
Graphical Editor
Token Game Animation
Fast Simulation

Java
HPSim

homepage

Free of charge
Place/Transition Nets
Stochastic Petri Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
Simple Performance Analysis

PC, MS Windows 95
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
INA

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

State Spaces
Condensed State Spaces
Place Invariants
Transition Invariants
Net Reductions
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis
Interchange File Format

CTL-based model checker
Sun
Linux
MS Windows
Income Suite

homepage

Comm. (acad. free)
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
Workflow Management System

Sun, SunOS
HP, HP-UX
PC, Linux
PC, MS Windows 2000
PC, MS Windows XP
Java
JARP

homepage

Free of charge
Place/Transition Nets

Graphical Editor
Token Game Animation
State Spaces
Interchange File Format

Java
JFern

homepage

Free of charge
Object-oriented PNs
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Simple Performance Analysis
Interchange File Format

Java
JPetriNet

homepage

Free of charge
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Structural Analysis

Java
JSARP

homepage

Free of charge
Object-oriented PNs

Graphical Editor
Token Game Animation
Fast Simulation
Structural Analysis

Java
Kontinuum

homepage

Comm. (acad. disc.)
High-level Petri Nets
Petri Nets with Time

Graphical Editor
Simple Performance Analysis
Workflow Management System

PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
LoLA

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets

Fast Simulation
State Spaces
Condensed State Spaces

Sun, SunOS
HP, HP-UX
Silicon Graphics, IRIX
PC, Linux
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

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets
Modular high-level nets
Labelled state transition systems

Token Game Animation
Fast Simulation
State Spaces

Modular state spaces
LTL model checker with fairness assumptions
Very high-level data types and operations
Sun, SunOS 5.7 and 5.8 (32-bit and 64-bit)
Digital, UNIX 4.0
Silicon Graphics, IRIX 6.5 (32-bit and 64-bit)
HP-UX 11.22
NetBSD, FreeBSD, OpenBSD
PC, Linux
PC, MS Windows 95 and later
Apple, Mac OS X 10.1
MISS-RdP

homepage

Comm.
Stochastic Petri Nets
Petri Nets with Time

Coloured Petri Nets
Graphical Editor
Fast Simulation

Sun, SunOS
PC, MS Windows NT
PC, MS Windows 2000
mist

homepage

Free of charge
Place/Transition Nets

State Spaces
Condensed State Spaces
Place Invariants
Transition Invariants
Net Reductions

PC, Linux
mist2

homepage

Free of charge
Place/Transition Nets

State Spaces
Condensed State Spaces
Place Invariants
Net Reductions

PC, Linux
Macintosh, Mac OS X
MISTA

homepage

Comm. (acad. free)
High-level Petri Nets

Graphical Editor
Token Game Animation
State Spaces

Reachachability analysis, test generation
Java
The Model-Checking Kit

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets

State Spaces
Condensed State Spaces

CTL-/LTL-Model-Checking, Deadlock-Checking, Reachability-Checking
Sun
Linux
Netlab

homepage

Comm. (acad. free)
Place/Transition Nets

Discrete part of Petri net state model (Input/Output extensions to P/T nets alike signal interpreted nets)
Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Condensed State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Interchange File Format

PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
Nevod

homepage

Comm.


Inhibitor Petri nets
Graphical Editor
Token Game Animation
Fast Simulation

MS DOS
Opera

homepage

Comm.
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Condensed State Spaces
Place Invariants
Transition Invariants
Net Reductions
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis
Interchange File Format

MS DOS
ORIS

homepage

Free of charge
Stochastic Petri Nets
Petri Nets with Time

Graphical Editor
State Spaces
Advanced Performance Analysis

PC, Linux
PC, MS Windows XP
Macintosh, Mac OS X
Java
PACE

homepage

Comm. (acad. disc.)
High-level Petri Nets
Place/Transition Nets
Stochastic Petri Nets
Petri Nets with Time

Attributed Petri Nets
Graphical Editor
Token Game Animation
Fast Simulation
Net Reductions

Fuzzy Technics, Net Optimizations
PC, MS Windows 95
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
PED

homepage

Free of charge
Place/Transition Nets

Graphical Editor
Token Game Animation

Sun, SunOS
PC, Linux
PEP

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
State Spaces
Condensed State Spaces
Place Invariants
Transition Invariants
Net Reductions
Structural Analysis
Interchange File Format

Model Checking
Petri Net Generators
Sun
Linux
PetitPetri

homepage

Free of charge
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Rapid Prototyping

PC, Linux
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
Petrigen

homepage

Free of charge
Place/Transition Nets

Graphical Editor
Token Game Animation

synthesis
PC, Linux
PC, MS Windows 95
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
Petri-lld

homepage

Free of charge


Elementary Nets
Graphical Editor
Token Game Animation
Rapid Prototyping

Java
Petri Net Kernel

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets

DAWN-Nets
User definable
Graphical Editor
Token Game Animation
Interchange File Format

INA-pilot
User definable
Java
Petri .NET Simulator

homepage

Comm. (acad. disc.)
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
Simple Performance Analysis

Subsystem blocks
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
Petri Net Toolbox

homepage

Comm. (acad. disc.)
Place/Transition Nets
Stochastic Petri Nets
Petri Nets with Time

Generalized Stochastic Petri Nets
Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis
Interchange File Format

Max-plus Analysis for Marked Graphs
PetriSim

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Fast Simulation

MS DOS
Petruchio

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets
Stochastic Petri Nets
Petri Nets with Time

Transfer Petri Nets
Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Place Invariants
Net Reductions
Simple Performance Analysis
Interchange File Format

Sun, SunOS
HP, HP-UX
PC, Linux
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
Platform Independent Petri Net Editor 2

homepage

Free of charge
Place/Transition Nets

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Condensed State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis
Interchange File Format

Extensible Analysis Modules and File Formats
Java
PNEditor

homepage

Free of charge
Place/Transition Nets

Graphical Editor
Interchange File Format

Java
PNetLab

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis
Interchange File Format

PC, MS Windows XP
PNML Framework

homepage

Free of charge
PNML Core Model
Place/Transition Nets
Symmetric Nets
High-Level Petri Nets
Place/Transition Nets in High-Level Notation

Interchange File Format

PC, Linux
PC, Windows XP Professional, Vista Professional, Server 2003
Macintosh PPC 32 bits and Intel 64 bits, Mac OS X
Java
PNSim

homepage

Free of charge
Place/Transition Nets

Graphical Editor
Token Game Animation
Structural Analysis

Simple Net Analysis
MS Windows
Java
PNtalk

homepage

Free of charge
High-level Petri Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
Simple Performance Analysis

Sun
MS Windows
Poses++

homepage

Free of charge
High-level Petri Nets

Fast Simulation

Sun
Linux
MS Windows
Predator

homepage

Free of charge
Place/Transition Nets
Stochastic Petri Nets

hierarchical Petri Nets (Subnets)
Graphical Editor
Place Invariants
Transition Invariants
Interchange File Format

Dynamic Loading of Analysis modules
Java
PROD

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets

State Spaces
Condensed State Spaces

LTL Model Checking, CTL Model Checking
Sun, SunOS
HP, HP-UX
Silicon Graphics, IRIX
PC, Linux
PC, MS Windows 95
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
ProM framework

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets

State Spaces
Place Invariants
Transition Invariants
Net Reductions
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis
Interchange File Format

Conformance
PC, Linux
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
PROTOS

homepage

Comm. (acad. disc.)
Place/Transition Nets
Stochastic Petri Nets
Petri Nets with Time

Graphical Editor
Fast Simulation
Structural Analysis
Simple Performance Analysis
Rapid Prototyping
Workflow Management System

PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
QPME

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets
Stochastic Petri Nets

(Hierarchical) Queueing Petri Nets
Graphical Editor
Fast Simulation
Advanced Performance Analysis
Interchange File Format

Sun, SunOS
HP, HP-UX
PC, Linux
PC, MS Windows XP
Macintosh, Mac OS X
Java
Renew

homepage

Free of charge
Object-oriented PNs
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
Interchange File Format
Rapid Prototyping
Workflow Management System

Java
Romeo

homepage

Petri Nets with Time

Graphical Editor
State Spaces

PC, Linux
Macintosh, Mac OS X
SEA

homepage

Free of charge
High-level Petri Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation

Abstract Graphical Visualization
Sun
SIPN-Editor

homepage

Free of charge


Interpreted Petri Nets
Graphical Editor

Code Generation for PLC, Translation into SMV Code
Java
SimHPN

homepage

Comm. (acad. disc.)
Hybrid petri nets

Graphical Editor
Fast Simulation
State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis

MATLAB 7.0 or higher
Simulaworks, Petri Nets Simulator

homepage

Comm.
Place/Transition Nets
Stochastic Petri Nets
Petri Nets with Time

Graphical Editor
Fast Simulation

PC, MS Windows 2000
PC, MS Windows XP
SNAKES

homepage

Free of charge
High-level Petri Nets
Place/Transition Nets

PBC and M-nets family
Fast Simulation
State Spaces
Condensed State Spaces
Interchange File Format
Rapid Prototyping

Sun, SunOS
HP, HP-UX
Silicon Graphics, IRIX
PC, Linux
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

homepage

Free of charge
Place/Transition Nets
Stochastic Petri Nets
Petri Nets with Time

Continuous Petri Nets
Graphical Editor
Token Game Animation
Fast Simulation

PC, Linux
PC, MS Windows 2000
PC, MS Windows XP
Macintosh, Mac OS X
SPNP

homepage

Comm. (acad. free)
High-level Petri Nets
Stochastic Petri Nets

Advanced Performance Analysis

PC, MS Windows 98
StpnPlay

homepage

Free of charge
Stochastic Petri Nets
Petri Nets with Time

Graphical Editor
Fast Simulation
Simple Performance Analysis
Interchange File Format

PC, MS Windows 95
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
SYROCO

homepage

Comm. (acad. free)
High-level Petri Nets
Petri Nets with Time

Dynamic instantiation of nets, C++ code associated to transitions and places, priority
Graphical Editor
Fast Simulation
Simple Performance Analysis
Interchange File Format

C++ code generation
C++
TimeNET

homepage

Comm. (acad. free)
High-level Petri Nets
Place/Transition Nets
Stochastic Petri Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
Place Invariants
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis

PC, Linux
PC, MS Windows XP
Tina

homepage

Free of charge
Place/Transition Nets
Petri Nets with Time

Time Petri Nets
Graphical Editor
Token Game Animation
State Spaces
Condensed State Spaces
Place Invariants
Transition Invariants

State Class Spaces
Sun, SunOS
PC, Linux
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
Macintosh, Mac OS X
TAPAAL

homepage

Free of charge
Place/Transition Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Advanced Performance Analysis
Interchange File Format

Sun, SunOS
HP, HP-UX
Silicon Graphics, IRIX
PC, Linux
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
Visual Object Net ++

homepage

Free of charge
Place/Transition Nets
Petri Nets with Time

Hybrid Dynamic Nets and Hybrid Object Nets
Graphical Editor
Token Game Animation
Fast Simulation
Structural Analysis
Simple Performance Analysis

supports object hierarchies
MS Windows
VisualPetri

homepage

Free of charge
Place/Transition Nets

Graphical Editor
Token Game Animation

PC, MS Windows XP
WebSPN

homepage

Free of charge
Stochastic Petri Nets

Graphical Editor
Token Game Animation
Advanced Performance Analysis
Interchange File Format

prd, prs, pri memory policies
PC, Linux
Java
WINSIM

homepage

Free of charge
High-level Petri Nets
Petri Nets with Time

Fast Simulation
Simple Performance Analysis

PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP
WoPeD

homepage

Free of charge
Place/Transition Nets

Workflow Nets
Graphical Editor
Resource Editor (roles and groups)
Subprocess Support
Token Game Animation
Interchange File Format
Semantical Analysis (soundness check)
Woflan Analysis Interface
Quantitative Analysis (throughput, waiting time)
Capacity Planning (resource usage)

Java
XRL/flower

homepage

Free of charge
High-level Petri Nets

WF Nets
Workflow Management System

PC, MS Windows 2000
Java
Yasper

homepage

Free of charge
Place/Transition Nets
Stochastic Petri Nets
Petri Nets with Time

Graphical Editor
Token Game Animation
Fast Simulation
Net Reductions
Simple Performance Analysis
Interchange File Format

workflow case distinction
PC, MS Windows 2000
PC, MS Windows XP
YAWL

homepage

Free of charge
High-level Petri Nets

YAWL supports multiple instances, OR-joins, and cancellation sets.
Graphical Editor
Token Game Animation
Interchange File Format
Workflow Management System

Java
P3

homepage

Free of charge
Place/Transition Nets

Upgraded Petri Nets
Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Condensed State Spaces
Interchange File Format

Petri net ontology
PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP

[PN Home][*][Last updated]
The maintainers of this page