Statechart-orientierte Modellierung mit höheren Petrinetzen

Statecharts als erweiterte endliche Automaten unterstützen die Spezifikation des dynamischen Systemverhaltens aus einer zustands- und ereignisorientierten Sicht. Dieser Sicht steht eine funktionale Sicht als Grundlage fast aller Systemspezifikationen mit Netzen gegenüber. Ein Ziel dieser Arbeit ist es daher, eine statechart-orientierte Spezifikation mit Netzen zu ermöglichen. Zusätzlich wird die sehr ausdrucksstarke grafische Strukturierung der Statecharts auf Petrinetze übertragen. Dies führt zu einer recht außergewöhnlichen Verwendung von Netzelementen innerhalb von Stellen. Die neue grafische Anordnung läßt sich zu einem Hierarchiekonzept erweitern, welches Stellenerweiterung genannt wird.