Egy átmenetnek a következő a szintaktikája: trigger [guard] / action1; action2; ..., ahol a trigger a kiváltó esemény, guard az őrfeltétel, action pedig az egyéb akciót, cselekvések, amit a tüzelés hatására végre kell hajtani.
Az egyik kérdéses élen szerepel a [whiteTime <= 0] / Display.text = "..." kifejezés. A fentiek alapján ezen csak akció, illetve guard van, trigger nincs. Ezért ez egy kiváltó esemény nélküli átmenet, ami nemdeterminisztikus viselkedést hoz a rendszerbe, hiszen nem mondható meg, mikor fog az átmenet végrehajtódni.
