Parallele Systeme
Linear-algebraische Analysealgorithmen für Petrinetze
| Beginn: Ab sofort. AnsprechpartnerIn: Eike.Best Voraussetzungen: Keine besonderen Vorkenntnisse erforderlich. Kurzbeschreibung: In dieser Arbeit sollen einige auf linearen Ungleichungssystemen basierende Algorithmen für 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 Eigenschaft, dass es nur endlich viele erreichbare Zustände gibt, oder die Deadlockfreiheit) von markierten Petrinetzen zu implementieren. Diese Eigenschaften sind durch linear-algebraische Formeln charakterisiert. Unter Zuhilfenahme des unter GPL Verfügung stehenden Programms lp_solve 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.