A Aralex Aachen research explorer

August 01, 2011 conference-paper Open access

A formal semantics for Grafcet specifications

2022 IEEE 18th International Conference on Automation Science and Engineering (CASE)

DOI: 10.1109/case.2011.6042457 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 5 stored of 30

Counter Example Guided Abstraction Refinement for IEC 60848 GRAFCET
2025 IEEE Industrial Electronics Society Annual On-Line Conference (ONCON) conference-paper Computer Science Formal Methods in Verification

0

citations
Structural Analysis of GRAFCET Control Specifications
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Petri Nets in System Modeling

2

citations
Structural Analysis of GRAFCET Control Specifications
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Petri Nets in System Modeling Open access

0

citations
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern
2023 at - Automatisierungstechnik article Computer Science Model-Driven Software Engineering Techniques

2

citations
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
2022 IEEE Access article Computer Science Model-Driven Software Engineering Techniques Open access

12

citations

5 results

References 0