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.

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

SourceForge.net Logo