PetriDotNet

The PetriDotNet modelling framework allows the user to edit, simulate and analyze Petri Nets (P/T Nets) and Well-Formed Coloured Petri Nets (CPN, wortk in progress now).

This modelling framework is developed at the Fault Tolerant Systems Research Group at the Department of  Measurement and Information Systems, Budapest University of Technology and Economics. The aim of this project is to provide a user friendly framework with the ability of easy expandability. Read more »