NOTICE: Due to a lapse in annual appropriations, most of this website is not being updated. Learn more.
Form submissions will still be accepted but will not receive responses at this time. Sections of this site for programs using non-appropriated funds (such as NVLAP) or those that are excepted from the shutdown (such as CHIPS and NVD) will continue to be updated.
An official website of the United States government
Here’s how you know
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
A Scheme for Translating Control Flow in the C Programming Language to Grafacet with Examples
Published
Author(s)
Bruce Thomas
Abstract
The purpose of this 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 paralleled systems such as in a manufacturing environment. The control constructs covered in this paper are: conditional statement, while, do, for, switch, break, continue, go to, label, and null. The Grafcet used in this paper is the language, as augmented by Savior. The C programming language is the one described by Kernighan and Ritchie. This translation is to be used as a reference for programmers to translate existing C source code into Grafcet.
Thomas, B.
(1988),
A Scheme for Translating Control Flow in the C Programming Language to Grafacet with Examples, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
(Accessed November 7, 2025)