traffic-light

← index | JSON descriptor | ▶ simulate

State diagram

Machine: traffic-light (initial: red)
green
red  (initial)
yellow

Inspect state

dot-path: view

---