On the recent advances in Grafcet

Grafcet is an international standard for specification and implementation of logic control in manufacturing systems. Compared to other modelling tools for Programmable Logic Controllers (PLCs), it has the advantages of manipulating simple concepts which are commonly used by control agents and designers. The objective of this paper is to review the current active research work that aims at providing the Grafcet both with a formal foundation to insure correctness and safety requirements, and with an integrated methodology that allows to link the design of the manufacturing systems with the development of their logic controllers.

Keywords:

• Semantics
• Methodology
• Verification
• Validation
• Control Synthesis