The finite state machine (FSM) has been one of the most popular models for describing control-oriented systems, e.g., real-time process controllers. A directed node-and-arc graph, called a state transition diagram (STD), can be used to describe an FSM. An STD represents a system in the form of states (nodes) and transitions (arcs) between states.
Copyright © 1990-1997, University of California. All rights