KFSM Turnstile Sample for Spring MVC

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

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

./gradlew bootRun

Visit http://localhost:8080/

Generated State Models

TurnstileFSM State Map

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

Simple Turnstile State Diagram

Turnstile State Diagram

---

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