![[PN Home]](/TGI/PetriNets/img/button_home.gif){kind=small}
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 |
| 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 |
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 modular modelling |
Linux Macintosh |
| 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 |
| 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 |
| 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 |
| 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 Comm. (acad. free) |
Petri Nets with Time |
Graphical Editor Token Game Animation State Spaces Condensed State Spaces Simple Performance Analysis |
PC, MS Windows 2000 PC, MS Windows XP |
| 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 Petri Nets with Time |
Graphical Editor |
Sun 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 |
| 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 |
| PNetLab homepage Comm. (acad. free) |
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 Supervisory Control oriented |
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 Comm. (acad. free) |
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 2000 PC, MS Windows XP Macintosh, Mac OS 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 |
| 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 |
| 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 State Spaces Place Invariants Structural Analysis Simple Performance Analysis Advanced Performance Analysis Interchange File Format |
Sun Linux |
| 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 |
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 |
| 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 |
![[*]](/TGI/PetriNets/img/button_tool.gif){kind=small}
![[Last updated]](/TGI/PetriNets/img/button_stat.gif){kind=small}