Forschungsthemen
[KP] Towards an Extensible Petri Net GLSP-based Editor
The task is scaled according to the number of students.
The manual, text-based specification of Petri nets is error-prone and time-consuming, which slows down the development process of model and Petri net-driven applications. Existing editors for Petri nets are either technically very limited or do not allow their extension or do not allow it sufficiently. Therefore, the aim of this internship is to develop a generic and extensible Petri net editor based on the current GLSP technology, which additionally has extensions for distributed, context and controlling functions. The Base Package incorporates a graphical editor module facilitating the creation, editing, and visualization of Petri nets based on GLSP. This module must support the representation of places, transitions, arcs, inhibitor arcs, and read arcs. Additionally, pages are a central element, allowing encapsulation and zoom functionality. Users should be able to interact with the graphical editor to manipulate Petri net elements. It hast to follow the PNML (Petri Net Markup Language) model, ensuring compatibility with PNML-compliant tools. Importing Petri nets in PNML format should be supported to facilitate interoperability. Additionally, export to PNML has to be provided, enabling users to export Petri nets to PNML format. The base package provides simulation capabilities for Petri nets. Integration with external simulation tools, such as TINA, should be facilitated to enhance Petri net analysis. Furthermore, the software should feature a state manipulation interface, allowing external systems or scripts to access and manipulate the state of the Petri net.Betreuer: Sebastian Ebert