Szemantikailag rossz a kérdésed. A choice nem egy állapot, egy pillanatban sem jellemzi a rendszert. Ez csupán egy szintaktikai rövidítés arra az esetre, ha egy esemény hatására különböző feltételekre más állapotba akarsz menni. Így erre reagálva, nem, a choice-ból kiinduló átmeneteken szerepelhet csak egy őrfeltétel, viszont a nyílon, ami a choice-ba mutat, mindenképpen szerepelnie kell kiváltó eseménynek.
