AND-Dekomposition (Concurrent State)
Dieses Werkzeug erzeugt eine neue AND-Dekomposition.

Durch eine AND-Dekomposition wird ein komplexer Zustand in nebenläufige, gleichzeitig aktive Subzustände (concurrent states) verfeinert.

Die Subzustände werden durch horizontale Regionen im Diagrammabschnitt eines Zustandsymbols repräsentiert, die durch gestrichelte Linien voneinander getrennt werden. Jede dieser Regionen ist benannt. Eine Transition in die AND-Dekomposition führt dazu, dass in allen nebenläufigen Subzuständen die Übergänge von den Startzuständen zu den "eigentlichen" Anfangszuständen durchgeführt werden.