Summary

In this master project, we designed and implemented a simulator for high level Petri nets. The design and implementation of the simulator uses the state of the art model based techniques in Software Engineering. The tool is built on top of ePNK [12]- a model based graphical Petri Net editor. Our Simulator conforms1 to both ISO/IEC 15909 standards [8] and [9]. Furthermore, in this work, we present a powerful variable binding algorithm of our Simulator. The Simulator comes with two extensions. The first one deals with a simulation of complex physical systems. Simply by “playing the token-game ” is difficult to understand a behavior of such system. This concept was already presented in [13] where PNVis- a 3D visualization of low level Petri Nets- was introduced. In comparison to PNVis our extension of the Simulator supports high level Petri Nets. Furthermore, this support comes ‘out of the box ’ i.e. one does not need to extend the existing high level Petri Net to make it work with the 3D visualization engine2. In our project we provide a general framework with a set of predefined functions3 to simulate physical systems