jFASTBy Timothy M White : Finite state machines
jFAST is a simple, easy-to-use tool for creating, editing, and simulating finite automata and state machines. It provides a simple and intuitive method of interacting with numerous types of supported finite state machines (FSM), including ...