state_transition_diagram