Platform Independent Petri Net Editor 2

Overview

Entry last updated: 2003/5/5
Entry last validated: 2003/5/5

Tool homepage: http://pipe2.sourceforge.net/

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology)

Place/Transition Nets

Components (see also help on terminology)

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

Environments

Java

Tool Description

Create Petri Nets quickly, efficiently and effectively. Six analysis modules (so far) including Invariant Analysis, State-Space Analysis (deadlock, etc) & Simulation Analysis. Key design principle is extensible module interface allowing new analysis modules to be easily written. Conforms fully with PNML, although the file format is extensible through the use of XSLT.

Contact Information

James D Bloom

Phone:  +44 7815 052 722
Fax:    +44 20 7916 7665
E-mail: jamesdbloom@msn.com

Other Remarks

The maintainers of this page