PseudoState - WFR2 - Alle Pfade, die von einer Gabelung ausgehen, müssen schließlich wieder in einer Verbindung oder Verbindungen ...

[PseudoState - WFR2] - Alle Pfade, die von einer Gabelung ausgehen, müssen schließlich wieder in einer Verbindung oder Verbindungen zusammenlaufen. Außerdem müssen sie ordnungsgemäß verschachtelt sein, wenn es mehrere Ebenen von Verbindungen gibt. Daher ist die Gleichzeitigkeitsstruktur eines Aktivitätsmodells ebenso restriktiv wie diejenige einer gewöhnlichen Zustandsmaschine, auch wenn die zusammengesetzten Zustände nicht eindeutig sein müssen.