Development of a plug-in handler for a model checker framework

OData support
Dr. Vörös András
Department of Measurement and Information Systems

Nowadays, as model-based software design and development gain ground, the modeling and model-checking tools also have to face higher expectations.

One of these tools are Petri nets, which are used for modeling concurrent, asynchronous, parallel, non-deterministic and/or stochastic systems. The Petri net formalism can be extended with the usage of many extensions (for example coloured Petri nets).

We can create and simulate Petri nets with the PetriDotNet2 (PDN2) application, which is developed in our department. The application is still under active development, and to preserve the modularity of the various additions and extensions, the presence of an extension handler component became neccessary.

In my thesis I designed and developed a component which unifies the usage of various extensions in the PetriDotNet2 application. The component provides an easy-to-use graphical user interface for selecting the extensions, and an interface with rich functionality to manage them, including reading their information, and loading them. The catalog is also responsible for checking the criteria that needs to be met for an extension to be usable.


Please sign in to download the files of this thesis.