A state diagram (finite state machine) relates events to states. A state diagram is a graph (or a network) of states and events, showing which transitions are possible from each state and triggered by which state.
In the Harel state machines, operations are allowed on a transition or as part of the state.
