Formaler Umgang mit semi-formalen Ablaufbeschreibungen

Abstract

Semi-formale Ablaufbeschreibungen bestehen aus formalen Teilen, in denen gewisse Aspekte der beschriebenen Abläufe präzise festgelegt sind, und informellen Teilen, die meist aus natürlichsprachlichen Anschriften bestehen. So beschreibt die Struktur unmarkierter Petrinetze (Kanal/Instanz-Netze) elementare Beziehungen zwischen Systemkomponenten wie Nacheinanderausführung, Wiederholung, UND- und ODER-Verzweigungen, während Details und Interpretationen der Netzelemente nicht formal beschrieben sind. In diesem Beitrag werden Transformationen wie Vergröberung, Faltung oder Komposition für unmarkierte Petrinetze definiert, die durch die Struktur vorgegebenen Eigenschaften respektieren. Diese Transformationen basieren auf speziellen Klassen von Netzmorphismen, die systematisch unterschieden werden.