PetriKit: Petri Net Analysis Toolkit

PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.

• Download Windows version
• Download Linux/others version (source, requires Python 2.5 and some dependecies installed. For more information, please read the manual)
• Manual
• SourceForge project page
• Help forums

Author: Conrado P.L.G. (conradoplg at gmail.com)