Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model

Robin Mross, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski. Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model. IEEE Access, 10:125652-125665, 2022. [doi]

Abstract

Abstract is missing.