State Transition Diagrams
A state transition diagram describes the various execution states a station can assume
and how service primitives cause it to transit from one state to another. States are
represented by circles or boxes, and are labeled with a meaningful name that
describes the state. A state transition is represented by a directed line from one state
to another, and is labeled with the service primitive that triggers the transition.