KFSM Android Demo

A simple application to demonstrate implementing KFSM with the classic Turnstile FSM.

Generated State Diagram

Simple Diagram

Detail Diagram

Generated State Table

TurnstileFSM State Map

Start	Event[Guard]	Target	Action
LOCKED	COIN	UNLOCKED	{ unlock() }
UNLOCKED	<<timeout = 3000>>	LOCKED	{ lockOnTimeout() }
UNLOCKED	PASS	LOCKED	{ lock() }
UNLOCKED	COIN	UNLOCKED	{ returnCoin() }

To learn more about visualization visit kfsm-viz and kfsm-viz-plugin