Extended finite-state machine

In a conventional finite state machine, the transition is associated with a set of input Boolean conditions and a set of output Boolean functions. In an extended finite state machine (EFSM) model, the transition can be expressed by an “if statement” consisting of a set of . If trigger conditions are all satisfied, the transition is fired, bringing the machine from the current state to the next state and performing the specified .

Extended finite-state machine

In a conventional finite state machine, the transition is associated with a set of input Boolean conditions and a set of output Boolean functions. In an extended finite state machine (EFSM) model, the transition can be expressed by an “if statement” consisting of a set of . If trigger conditions are all satisfied, the transition is fired, bringing the machine from the current state to the next state and performing the specified .