Formal representation of GRAFCET to automatically generate control code
Publication date
2014-12-01
Document type
Research article
Author
Schumacher, Frank
Organisational unit
Scopus ID
ISSN
Series or journal
Control Engineering Practice
Periodical volume
2014
Periodical issue
33
First page
84
Last page
93
Peer-reviewed
✅
Part of the university bibliography
✅
Keyword
Control Code
Formalization
GRAFCET
Modeling Language
Abstract
Within the engineering of control code, model-based approaches become more and more important. Basically GRAFCET serves as a suitable modeling language but lacks an exhaustive formal representation of its structure and dynamic behavior since current approaches only consider subclasses of GRAFCET. Within this article the authors depict a systematic approach for an exhaustive formal model of GRAFCET, specifically by taking enclosing steps, forcing orders and time constraints into account. Based on this formal model of GRAFCET a method together with a tool framework are presented allowing for the automatic generation of control code.
Version
Not applicable (or unknown)
Access right on openHSU
Metadata only access