Diplomarbeit

Graphentheoretische Analysealgorithmen für Petrinetze

Beginn: Ab sofort. AnsprechpartnerIn: Eike.Best Voraussetzungen: Keine besonderen Vorkenntnisse erforderlich. Kurzbeschreibung: In dieser Arbeit sollen einige einfache graphentheoretische Algorithmen auf Petrinetzen implementiert werden.

Beschreibung

Markierte Petrinetze sind ein weit verbreitetes Systemmodell, mit dessen Hilfe sich parallele Programme und andere parallele und verteilte Systeme beschreiben lassen.

In dieser Arbeit sind einige exakte und semiexakte Algorithmen zur automatischen Überprüfung interessanter Eigenschaften (wie z.B. die Existenz eines Grundzustands oder die Lebendigkeit) von markierten Petrinetzen zu implementieren. Diese Eigenschaften sind durch graphentheoretische Bedingungen charakterisiert. Eventuell unter Zuhilfenahme von frei verfügbaren Programmen zur Analyse von Graphen sind diese Charakterisierungen zu implementieren und in das Petrinetzwerkzeug PEP einzubinden. Zur Einbindung in PEP soll die Sprache PNML (Petri Net Markup Language) benutzt werden.