We firstly propose a control model of discrete\nevent systems, where the event set is made up of several conflicting pairs and\ncontrol is implemented to select one event of the pair. Then we transform EFSM\nfor SDL to the control model to clarify the control mechanism functioning in\nSDL ...