Executing a (Basis) State

1. The transitions leading away from the state and transitions leading out of higher-level states are evaluated in order of their priority.
2. If a valid transition is found, it is executed. This ends the execution of the state.
3. If no valid transition from the state is available, the static action is executed.
4. If the state has higher-level states, their static actions are executed.