Structural Analysis of GRAFCET Control Specifications

The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a structural analysis that approximates the variable values of GRAFCET to allow verification on specification level. GRAFCET has different elements resulting in concur...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-07
Hauptverfasser:	Schnakenbeck, Aron, Mroß, Robin, Völker, Marcus, Kowalewski, Stefan, Fay, Alexander
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Computer Science - Logic in Computer Science Computer Science - Programming Languages Formal specifications Petri nets Specification and description languages Structural analysis
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!