PetriKit: Petri Net Analysis Toolkit 1.0

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

ABOUT 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.