Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3225736
Abstract: The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. To use these formal specifications for model-driven development of control code it is beneficial to ensure their syntactical and… read more here.
Keywords: transformation grafcet; detailed meta; grafcet gal; model ... See more keywords