Research on the Transformation from State Chart to EFSM
Jin Yimin · Modern Electronic Technique · 2004
Use State Chart to model a system and EFSM to reason and calculate The pattern has been widely applied In this pattern, the transformation from State Chart to EFSM is very fundamental and important The transformation must avoid any loss of information delivered by the State Chart and should be enough efficient This paper thoroughly introduces a transformation algorithm used in SBOSUT system A transformation example is offered to illustrate the algorithm