Transformation of GRAFCET to PLC code including hierarchical structures

• Model Checking Generated Control Code for Consistency with its Specification in IEC 60848 GRAFCET

  2024 IFAC-PapersOnLine article Computer Science Formal Methods in Verification Open access

  2

  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
• A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

  2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems

  4

  citations
• A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

  2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems 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

7 results