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.