A Aralex Aachen research explorer

May 01, 1999 article

Grafcet revisited with a synchronous data-flow language

IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans

DOI: 10.1109/3468.759279 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 13

Comparison between static analysis and model checking in the design of automation systems
2026 Control Engineering Practice article Computer Science Formal Methods in Verification Open access

0

citations
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Industrial Automation and Control Systems Open access

4

citations

2 results

References 0