Parallele Systeme
Übersetzung von Prozessalgebren in Petrinetze
|
AnsprechpartnerIn:
Eike.Best
Wird bearbeitet von Martin Schulze Kurzbeschreibung: In dieser Diplomarbeit soll der existierende Übersetzer von Petriboxkalkül in Petrinetze erweitert werden um andere Kalküle als Ausgangssprachen. |
Beschreibung
Prozessalgebraische Ausdrücke werden ebenso wie Petrinetze zur Beschreibung paralleler und verteilter Systeme eingesetzt. In [Best/Devillers/Koutny: Petri Net Algebra, Springer-Verlag 2001] ist eine generische Prozessalgebra beschrieben, die sog. Box-Algebra. In diese lassen sich verschiedene aus der Literatur bekannte Prozessalgebren (CCS - Calculus of Communicating Systems, CSP - Communicating Sequential Processes, COSY - Concurrent Systems Notation) übersetzen. In der Arbeit sollen die drei Übersetzungen CCS -> Box-Algebra, CSP -> Box-Algebra und COSY -> Box-Algebra implementiert werden. Dazu gehört auch ein Editor zur Eingabe von prozessalgebraischen Ausdrücken. Da es in PEP bereits eine Übersetzung von Box-algebraischen Ausdrücken in Petrinetze gibt, soll dadurch auch eine Übersetzung der anderen drei Prozessalgebren in Petrinetze erreicht werden.