AnyTransitions haben immer einen Zielzustand, zu dem die AnyTransitions führen. AnyTransitions haben nie einen Anfangszustand, von dem die AnyTransitions wegführen.

Die Bedingung für die Ausführung eines AnyTransition wird immer vor dem aktuellen Zustand geprüft. Wenn die Bedingung erfüllt ist, werden die mit dem AnyTransition verbundenen Aktivitäten ausgeführt. Dann wechselt der Zustandsautomat sofort in den Zielzustand des AnyTransition.

Wichtig PAgraph führt den Exit-Teil des Zustands aus, der aktiv ist, bevor die Bedingung für den AnyTransition erfüllt ist.