A Simulator for high level Petri Nets: Model based design and implementation | Mindaugas Laganeckas
| | Abstract | 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 rst 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 prede fined functions3 to simulate physical systems.
The second extension is a contribution to the simulation of distributed systems using Petri nets. More precisely, our extension deals with network algorithms. Each network algorithm (Petri net model) operates on some network, where entities are represented as nodes and communication channels - as edges. This kind of Petri net models4 are network structure independent, i.e. they does not depend on the number of nodes in the network or on the way the nodes are connected to each other. In our project we provide a general framework with a set of prede fined functions5 to simulate network algorithms. | | Type | Master's thesis [Academic thesis] | | Year | 2012 | | Publisher | Technical University of Denmark, DTU Informatics, E-mail: reception@imm.dtu.dk | | Address | Asmussens Alle, Building 305, DK-2800 Kgs. Lyngby, Denmark | | Series | IMM-M.Sc.-2012-101 | | Note | Supervised by Associate Professor Ekkart Kindler, eki@imm.dtu.dk, DTU Informatics | | Electronic version(s) | [pdf] | | Publication link | http://www.imm.dtu.dk/English.aspx | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|