Die Methode der Strukturierten Analyse mit Petri-Netzen (SA/PN) als Echtzeiterweiterung

Zusammenfassung

Die Methode der Strukturierten Analyse stellt eine weit verbreitete Methode zur Unterstützung der Systemanalyse und des Systementwurfs dar. Die von Hatley eingeführten Erweiterungen erlauben eine weitergehende Modellierung auch von Echtzeitverhältnissen, wie sie in vielen technischen Systemen vorliegen. Die Mächtigkeit dieser Methode (SA/RT) ist leider beschränkt, da weder anspruchsvolle Prozeßabläufe (z.B. zu synchronisierende Prozesse) beschrieben werden können, noch die formalen Eigenschaften der zusätzlich verwendeten Diagramme/Tabellen automatische Analysen oder Simulationen unterstützen. Im Rahmen dieser Abhandlung beschreiben wir eine Kombination der Strukturierten Analyse mit der der Petri-Netze (SA/PN). Dadurch wird die Modellierung und Simulation weitaus komplexerer Prozeßabläufe ermöglicht. Ferner können alle Eigenschaften der formal sehr weit entwickelten Petri-Netze bei der Prüfung der erstellten Modelle genutzt werden.