petrikit petri net analysis toolkit

We have hosted the application petrikit petri net analysis toolkit in order to run this application in our online workstations with Wine or directly.

Quick description 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.

Audience: Advanced End Users, Education, Science/Research.
User interface: Command-line.
Programming Language: Python.
Categories: