Platform Independent Petri Net Editor 2


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

Tool homepage:

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


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

Other Remarks

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