Scheme for Translating Control Flow in the C Programming Language to Grafcet with Examples

摘要

The purpose of the paper is to show a translation scheme from control flow in the C programming language to the Grafcet language. Grafcet is a graphical language for expressing control flow. Grafcet is used to design parallel systems such as in a manufacturing environment. The control constructs covered in the paper are: conditional statement; while; do; for; switch; break; continue; goto; label; and null. The Grafcet used in the paper is the language, as augmented by Savoir. The C programming language is the one described by Kernighan and Ritchie. The translation is to be used as a reference for programmers to translate existing C source code into Grafcet.