A tool for creating and analysing Petri nets.
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!
