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.