Hierarchical Reconfigurable Petri Nets

URL
Dokumentart: Diplomarbeit, Magisterarbeit, Master Thesis
Institut: Department Informatik
Sprache: Englisch
Erstellungsjahr: 2018
Publikationsdatum:
SWD-Schlagwörter: Petri-Netz , Transformation
DDC-Sachgruppe: Informatik

Kurzfassung auf Englisch:

The challenging development of modern systems can be eased through the usage of appropriate models to simulate, evaluate and validate the system before hand. One well known method for this is the deployment of Petri nets. Especially challenging is the development of large systems with dynamic components. Hierarchical Petri nets (HPN) provide a more abstract view whereas reconfigurable Petri nets (RPN) allow dynamic structural adaptation. This thesis presents the combination of RPN and HPN yielding a hierarchical structure for reconfigurable Petri nets. The aim of this thesis is to: present a concept for a hierarchical reconfigurable Petri net (HRPN) model based on substitution transitions (with mathematical definition), prove the models correctness, implement HRPN within the tool ReConNet and evaluate the HRPN model and expanded ReConNet tool using a use case of a flexible manufacturing system.

Kurzfassung auf Deutsch:

Die anspruchsvolle Entwicklung moderner Systeme kann durch die Verwendung entsprechender Modelle zur Simulation, Evaluation und Validierung erleichtert werden. Eine bekannte Methode dafür ist der Einsatz von Petri-Netzen. Besonders anspruchsvoll ist die Entwicklung von großen Systemen mit dynamischen Komponenten. Hierarchische Petri-Netze (HPN) bieten eine abstraktere Sicht und Rekonfigurierbare Petri-Netze (RPN) erlauben dynamische strukturelle Adaption. Diese Thesis präsentiert die Kombination von RPN und HPN zu einer hierarchischen Struktur für rekonfigurierbare Petri-Netze. Das Ziel dieser Thesis ist: die Vorstellung eines Konzeptes für ein hierarchisches rekonfigurierbares Petri-Netz Model das auf Substitutions-Transitionen basiert (inklusive mathematischer Definition), das Beweisen der Korrektheit des Models, die Implementierung von HRPN in dem Werkzeug ReConNet und die Evaluation des HRPN Models und des erweiterten ReConNet Werkzeuges unter der Zuhilfenahme eines Anwendungsfalles eines flexiblen Manufaktursystems.

Hinweis zum Urheberrecht

Für Dokumente, die in elektronischer Form über Datenenetze angeboten werden, gilt uneingeschränkt das Urheberrechtsgesetz (UrhG). Insbesondere gilt:

Einzelne Vervielfältigungen, z.B. Kopien und Ausdrucke, dürfen nur zum privaten und sonstigen eigenen Gebrauch angefertigt werden (Paragraph 53 Urheberrecht). Die Herstellung und Verbreitung von weiteren Reproduktionen ist nur mit ausdrücklicher Genehmigung des Urhebers gestattet.

Der Benutzer ist für die Einhaltung der Rechtsvorschriften selbst verantwortlich und kann bei Mißbrauch haftbar gemacht werden.