 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 data operations.An EFSM is defined as a 7-tuple formula_1 where

EFSM Architecture