 | Vereinigung (Join) |
Dieses Werkzeug erzeugt eine neue Vereinigung.
Eine Vereinigung repräsentiert die Synchronisation mehrerer
Transitionsfolgen. Sie zeigt das Ende einer Nebenläufigkeit
an. Die vorangegangenen Zustände einer Vereinigung
müssen unterschiedlichen Subzuständen einer
AND-Dekomposition angehören, und ihr Nachfolgezustand muss
außerhalb dieser AND-Dekomposition liegen.