A state diagram is a model of a reactive system. The model defines a finite set of states and behaviors and how the system transitions from one state to another when certain conditions are true.
State diagrams are used to model complex logic in dynamic systems, from automatic transmissions to robotic systems to mobile phones. Examples of this complex logic include:
Building upon traditional finite state machines, state diagrams provide additional capabilities including: