Concurrent control system: from Grafcet to VHDL

Abstract : The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well established in manufacturing to specify the awaited behaviour of the APS. Moreover, programmable components increase modularity and allow a higher integration rate of circuits. This paper intends to study the hardware implementation of a Grafcet specification into such a component. Those components has to be programmed using an hardware description language. So we focus on inherent problems of such an approach and we study different kinds of possible solutions to automatically translate a Grafcet specification into a VHDL program. In particular, we introduce a solution based on synchronous language works about symbolic research of stability states. This compiler only accepts the stable grafcets. In addition to automatically generate a VHDL code, this solution provides some way to check some safety properties on Grafcet.
Document type :
Conference papers
Complete list of metadatas
Contributor : Jean-Pierre Damiano <>
Submitted on : Tuesday, April 23, 2019 - 4:27:10 PM
Last modification on : Thursday, May 2, 2019 - 11:04:28 AM


Files produced by the author(s)


  • HAL Id : hal-00973434, version 1



Frédéric Mallet, Daniel Gaffé, Fernand Boéri. Concurrent control system: from Grafcet to VHDL. Euromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234. ⟨hal-00973434⟩



Record views


Files downloads