Protokollimplementierung auf der Basis von Petrinetzen

Zusammenfassung

Wenig untersucht wurden bisher Methoden, bei denen Petrinetze zur Programmierung von Rechnern verwendet werden. Während es für andere formale Spezifikationsmethoden eine Reihe von Arbeiten gibt, die sich mit der Erzeugung von sequentiell ablauffähigem Programm-Code aus einer Spezifikation befassen, sind für Petrinetze nur wenige Arbeiten bekannt. Für ESTELLE existiert ein Pre-Compiler (/Chan87/, /Vuon88/). Für LOTOS gibt es eine Reihe von Vorarbeiten zu einem Compiler (/Bria86/, /Bria87/, /Brin86/, /Diaz86/, /Hipp88/, /Last88/, /Sc1o88/). Für die Petrinetze sind zwar eine ganze Reihe von Werkzeugen entwickelt worden, die den Ablauf des Markenspiels in einem Petrinetz nachbilden (/Bill88/, /Gruh88/, /Taub87/). Diese Werkzeuge haben jedoch vor allem die Analyse der mit Petrinetzen beschriebenen Systeme zum Ziel. Petrinetze wurden auch benutzt, um insbesondere parallele Programme zu verifizieren. In /Gruh88/ und /Kern86/ wird die Petrinetzsemantik als Teil der Semantik einer Systembeschreibungssprache verwendet. Die Semantik der Petrinetze ist damit aber noch nicht Teil der Semantik einer nebenläufig ausführbaren Programmiersprache.