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 »


For more information on the VIATRA2 model transformation framework, we kindly refer the reader to the VIATRA portal, the official website, and the Eclipse Wiki.

A thematic list of VIATRA2-related publications is available here. A comprehensive list is available on the portal.


EMF-IncQuery is an Eclipse-based framework that supports high-performance incremental model queries over large instance models. Based on the incremental graph pattern matching engine, core model-driven engineering applications such as on-the-fly well-formedness validation, model synchronization and view maintenance can be easily implemented in an extremely scalable way. More information is available on the official website of the project.

CAV 2014 Measurements

↓ To the results ↓

On this page we provide all of our measurements comparing some state-of-the-art model checkers to our algorithm. The tools and algorithms included in the measurements are the following: Read more »