Nowadays, modelling and analysis of the systems gain a more and more important role during the design of systems. According to this, the demand for modelling and analysis tools has increased. Petri-nets and their extensions are one of the frequently used and popular modelling formalisms, which provide efficient methods for modelling and analyzing distributed, asynchronous, parallel, concurrent and/or stochastic systems.
There are a wide range of Petri-net frameworks, but those are rare which are able to cover various aspects of the modelling. Extensibility is also an important criterion of a modelling framework, which is supported by even less tools recently. Recognizing the shortcomings of the previous solutions, the purpose of my thesis is to develop an editor framework which, in addition to providing the characteristic services of the current tools, also can be easily extended with new Petri net based formalisms. The implemented framework will form an integral part of the new PetriDotNet (PDN) edition developed in our department, which enables the editing, simulation and analysis of Petri nets.
In my thesis I designed and implemented a framework, which enables the easy and efficient editing of Petri-net based models. Its easy-to-use application programming interface (API) provides rich functionality with numerous extension possibilities in order to adapt to new Petri net based formalisms. Furthermore, I created an extension package that enables the editing of simple, uncolored Petri nets to prove the usability of my work.