I found Fizzim: The Finite State Machine Design tool. Fizzim is a FREE, open-source GUI-based FSM design tool. The GUI is written in java, the backend code generation is written in perl for portability and ease of modification. It is very easy to use, i created fsm diagram for LockableDoor application in just a few seconds(or maybe minutes). Download Fizzim Now!