Translating Grafcet Specifications Into C/Unix Program

Abstract

This paper presents a method of simulating the operation of the control part of an automated system, modeled by a Grafcet. Our approach is to translate the Grafcet into C language, in a Unix environment. The resulting program simulates the operation of the automation in question. The first step is to establish the Grafcet / C generation schemes. A Grafcet put in internal form will be translated in C by a generating program, on the basis of the schemes previously found. This will allow the validation of the functional specifications of a sequential automation as, for educational purposes, the learning of the Grafcet formalism. Once the program has been configured, tested and validated, the object code can be implemented on a microcontroller of the actual control system.