SimpleTurnstileFSM State Chart SimpleTurnstileFSM State Map Start Event[Guard] Target Action [start] UNLOCKED LOCKED COIN UNLOCKED { unlock() } UNLOCKED PASS LOCKED { lock() } UNLOCKED COIN UNLOCKED { returnCoin() }