From GRAFCET to Equivalent Graph for synthesis control of discrete events systems

This paper presents an approach to convert a GRAFCET specification into an Equivalent Graph which can be used in Supervisory Control Theory by a synthesis algorithm. The paper makes the semantics links between a normalized tool and an automaton structure. From this transformation, a synthesis control method is used for Supervisory Control Theory (SCT). This final aim is to obtain a deterministic and non-blocking automaton which satisfies safety and liveness specifications. Automaton representing a controller to implement into Programmable Logic Controller (PLC). A manufacturing system comes illustrate the paper.