PetriDotNet is a framework for the editing, simulation and analysis of Petri nets. The framework is developed by the Fault Tolerant Systems Research Group at the Budapest University of Technology and Economics.
Our aim is an easy to use and extendable tool to support Petri net based modelling and verification.
We have implemented and made available many advanced algorithms for the verification of Petri nets.
We are dealing with the following researches: Read more »