PROGRAMME VON petrikit.sf.net

PetriKit ist ein modulares Toolkit für die Petri Net Analyse. Es ermöglicht die Extraktion von grundlegenden Eigenschaften, Extraktion von Invarianten, und Die Generierung von Erreichbarkeit Graph. Die Ergebnisse können in Nu