Download

PIPE2 is an open source, platform independent tool for creating and analysing Petri nets including Generalised Stochastic Petri nets. Petri nets are a popular way for modelling concurrency and synchronisation in distributed systems. To learn more about Petri nets, you can start by reading the 2006/7 MSc. project report available here.

PIPE2 began life in 2002/3 as an MSc. Group Project at the Department of Computing, Imperial College London called "The Platform Independent Petri net Editor PIPE". This is now the official branch of that project. It is still being maintained as an on-going project at the college.

2002/3 James Bloom, Clare Clark, Camilla Clifford, Alex Duncan, Haroun Khan and Manos Papantoniou create PIPE
2003/4 Tom Barnwell, Michael Camacho, Matthew Cook, Maxim Gready, Peter Kyme and Michael Tsouchlaris continue the project as PIPE2 with substantial bug fixes and user interface enhancements.
2005 Nadeem Akharware adds advanced GSPN analysis capabilities.
2006/7 Edwin Chung, Tim Kimber, Benjamin Kirby, Will Master and Matt Worthington made bug fixes, code efficiency improvements and added zoom to the GUI and reachability graph generation capability.

Features:

FREE
Easy to use interface
Model Place transition nets and Generalised Stochastic Petri nets
Many analysis modules including advanced GSPN analysis
Handles hundreds of thousands of states and eliminates vanishing states 'on the fly'
Zoom in and out - work with your Petri nets at optimum scale
Generate reachability graphs
Export your Petri nets as PNG files
Open source!