Konvertierung sicherer Petri-Netze in Statecharts/ Conversion of safe Petri nets into Statecharts

Zur Modellierung ereignisdiskreter Systeme existieren verschiedene Modellformen. In der Steuerungstechnik haben sich vor allem Petri-Netze und Automaten verbreitet, wobei sich Petri-Netze bei der Beschreibung von Nebenläufigkeiten aufgrund hoher Transparenz und relativ geringer struktureller Komplexität als besonders zweckmäßig erweisen. Um den Schwierigkeiten bei der Darstellung von parallelen Abläufen mit Automaten zu begegnen, wurden Statecharts entwickelt, eine Modellform, die auf der hierarchischen Anordnung von Automatengraphen basiert. Das Interesse an Statecharts verstärkte sich in jüngster Zeit durch die Marktverfügbarkeit der Matlab-Toolbox Stateflow. Sie ermöglicht die Einbindung ereignisdiskreter Teilsysteme in Form von Statecharts in die Simulationsumgebung Matlab/Simulink und damit insgesamt die Simulation hybrider Systeme. Um den Anwendern von Petri-Netzen die Verwendung der oben genannten Standard-Simulationsumgebung nahezubringen, wird in diesem Beitrag gezeigt, wie sichere Stellen/Transitionen-Netze in Statecharts überführt werden können. Hierzu wird eine Methodik angegeben, die auf der Auswertung der S-Invarianten des zugrundeliegenden Petri-Netzes basiert.