Beta 1

Title A universal PNML Tool
Author Zoglowek, Lukasz
Supervisor Kindler, Ekkart (Software Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2008
Abstract The PNML(Petri Net Markup Language) is an interchange format for Petri nets, which is currently being standadized. PNML is not restricted to a particular kind or version of Petri net, but can be used for every Petri net type. To this end, PNML allows the definition of new Petri net types. The definition of PNML makes use of Model-based Software Engineering technology, and there is an implementation of PNML based on EMF, which is called the PNML Framework. The PNML Framwork, however, needs to be recompiled whenever a new Petri net type is defined, and it provides an API only. It does not come with a graphical editor. In this thesis, a universal PNML tool is developed in which new Petri net types can be plugged in without recompiling the tool for every new type. Moreover, the universal PNML tool should come with a graphical editor that allows to create and edit Petri nets of any (plugged-in) type. Furthermore, the universal PNML tool should be able to interact with applications running on that Petri net, and to allow the applications to visualize the results in the graphical editor. For some features of new Petri net types, there are specific graphical representations. In order to allow the universal PNML tool to represent these features in this way, the type concept of PNML types needs to be enhanced with a concept for defining the graphical appearance of some features of a new Petri net type. The concepts for defining these appearances should be designed in this thesis and implemented in the universal PNML tool.
Series IMM-M.Sc.-2008-88
Original PDF ep08_88_net.pdf (2.94 MB)
Admin Creation date: 2008-09-10    Update date: 2009-08-07    Source: dtu    ID: 223392    Original MXD