Every transition, except for internal and local transitions, causes exiting of a source state, and entering of the target state.