Synchronisationszustand (Synch State)
Dieses Werkzeug erzeugt einen neuen Synchronisationszustand.

Ein Synchronisationszustand erlaubt die Synchronisation von Zustandsübergängen innerhalb eines so genannten UND-verfeinerten Zustands (concurrent state, vgl. AND-Dekomposition). Er "zählt mit", wie oft seine eingehende Transition schaltet. Solange dieser "Zähler" positiv ist, gilt der Synchronisationszustand als aktiv, und ausgehende Transitionen können schalten. Bei jedem Schalten einer Transition wird der Zähler um 1 verringert.