Vending Machine (State Machine)
Coin collection and dispensing states.
Make it your own.
title "Vending machine"
state Idle
state Collecting
state Dispensing
initial Idle
transition Idle -> Collecting on "insert_coin"
transition Collecting -> Collecting on "insert_coin"
transition Collecting -> Dispensing on "enough_paid"
transition Dispensing -> Idle on "item_taken"
transition Collecting -> Idle on "cancel"