Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems

Peng Wang, Kai-Yuan Cai

This paper discusses EFSM for SDL and transforms EFSM into a novel control model of discrete event systems. We firstly propose a control model of discrete event systems, where the…