Read First: State Machine, State Transition Rule Determines if a state transition can proceed. This may fail even though the state transition rule has been triggered by an event, and executed its operation. In this case, the state is not changed, and any operation on the target state is not executed.