Finite State Machine for Go
Django friendly finite state machine support
AO RTOS is small real time OS based on Active Object concurrency model
A tool for finite state machine analysis and synthesis.
A graphical Finite State Machine (FSM) designer.
Enhanced Korat supports GUI, FSM, JUNG and JSON.
State machines for Java, FSM.
Object Oriented Parser Generator