P
Analyzed over 3 years ago
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.
0
lines of code
0
current contributors
0
since last commit
0
users on Open Hub