This page can only be viewed with a browser which supports tables (HTML3).
Overview | Features | Environments | |
---|---|---|---|
PN Supported | Components | ||
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 |
Cosmos homepage Free of charge |
Place/Transition Nets Stochastic Petri Nets Stochastic Symmetric Nets |
Fast Simulation Interchange File Format Rare Event Simulation |
PC, Linux Macintosh, Mac OS X |
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 |
Fluid Survival Tool homepage Free of charge |
Stochastic Petri Nets Petri Nets with Time |
Simple Performance Analysis Advanced Performance Analysis |
PC, Linux |
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 | |
GHENeSys Free of charge |
High-level Petri Nets Place/Transition Nets Petri Nets with Time |
Graphical Editor Token Game Animation Place Invariants Transition Invariants Simple Performance Analysis |
Java |
GPenSIM
homepage |
High-level Petri Nets
Place/Transition Nets Petri Nets with Time |
State Spaces
Place Invariants Transition Invariants Structural Analysis Simple Performance Analysis Advanced Performance Analysis |
|
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 |
HSTPNSim
homepage |
Place/Transition Nets
Stochastic Petri Nets Petri Nets with Time Probabilistic Petri Nets |
Graphical Editor
Fast Simulation |
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 |
IOPT-Tools homepage Free of charge |
Place/Transition Nets |
Graphical Editor Token Game Animation Fast Simulation State Spaces Interchange File Format Rapid Prototyping C and VHDL code generation |
PC, Linux PC, MS Windows 2000 PC, MS Windows XP Macintosh, Mac OS Macintosh, Mac OS X |
ITS Tools homepage Free of charge |
High-level Petri Nets Place/Transition Nets Petri Nets with Time PNML |
Graphical Editor State Spaces Condensed State Spaces LTL, CTL |
PC, Linux PC, MS Windows XP Macintosh, Mac OS X |
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 |
Mercury homepage Free of charge |
Stochastic Petri Nets |
Transition Invariants Structural Analysis Simple Performance Analysis Advanced Performance Analysis Interchange File Format |
Java |
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 |
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 |
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 |
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 |
PN-Suite
homepage |
Place/Transition Nets
|
Token Game Animation
Net Reductions Interchange File Format slicing; transformation |
PC, Linux
PC, MS Windows XP Macintosh, Mac OS Macintosh, Mac OS X |
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 |
PTN Engine
homepage |
Place/Transition Nets
|
Fast Simulation
Rapid Prototyping |
PC, Linux
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 |
SamaTulyata
homepage |
High-level Petri Nets
Place/Transition Nets |
Graphical Editor
|
PC, Linux |
SEA homepage Free of charge |
High-level Petri Nets Petri Nets with Time |
Graphical Editor Token Game Animation Fast Simulation Abstract Graphical Visualization |
Sun |
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 |
SIPN-Editor homepage Free of charge |
Interpreted Petri Nets |
Graphical Editor Code Generation for PLC, Translation into SMV Code |
Java |
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++ |
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 |
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 |
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 |
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 Non Markovian Stochastic Petri Nets |
Graphical Editor Token Game Animation State Spaces Condensed State Spaces Advanced Performance Analysis Memory policies |
PC, Linux Java |
WINSIM
homepage |
Extended high-level Petri nets |
Advanced Performance Analysis
|
|
Wolfgang homepage Free of charge |
High-level Petri Nets Place/Transition Nets |
Graphical Editor Token Game Animation State Spaces Structural Analysis Interchange File Format Workflow Net Property Analysis, PNML Compliant |
PC, Linux Macintosh, Mac OS X Java |
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 |