2.6 Petrinetze
95
Beispiel 2.26: Ein Beispiel dafür ist in Abb. 2.56 zu sehen. Das Beispiel zeigt die
während eines Standardisierungsprozesses durchzuführenden Vorgänge. Verzwei[1. Vorschlag]
synchronisation
Kontrollfluss[vorhanden]
Aufruf
[Endfassung]
[falls nein]
starte Aktivität
Fluss von Objekten
Verzweigung
Eingabewert
Kontrollfluss
Kontroll-Verzweigung
Aktivität
Bedingter Pfad
angenommen
Spezifikation
............
[optional]
guard
anderen Einreichern
Zusammenarbeit m.
logie Spezifikation
Entwicklung TechnoFinalisiere
einreichen
Entwurf
Vorschlägen
Aufruf zu
[falls ja]
Stimmabgabe
Spezifikation
Spezifikation
Spezifikation
Bewerte initiale
Einreichungen
Einreichung
Bewerte finale
Start
Abb. 2.56 Aktivitätsdiagramm [300]
gungen und Vereinigungen des Kontrollflusses entsprechen den Transitionen in Petrinetzen, deren Symbole sie auch verwenden (horizontale Balken). Die am unteren
Ende der Abbildung zu sehende Raute steht für eine Entscheidung. Aktivitäten lassen sich in Bahnen ordnen (Flächen zwischen den gestrichelten Linien), damit lassen
sich die unterschiedlichen Zuständigkeiten und die ausgetauschten Dokumente visualisieren.
∇
Es ist interessant zu sehen, dass Petrinetze ursprünglich nicht weit verbreitet waren
und erst Jahre nach ihrer Erfindung durch die Verwendung in UML zu einer häufig
angewendeten Modellierungstechnik wurden.