Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size

Lecture notes in computer science, pp. 338–359

Authors 5

1. Robin Mroß corresponding Aachen Embedded Software (Informatik 11)

   RWTH Aachen University

   Affiliation as printed

   Embedded Software (Informatik 11), RWTH Aachen University, 52056, Aachen, Germany

2. Marcus Völker corresponding Aachen Embedded Software (Informatik 11)

   RWTH Aachen University

   Affiliation as printed

   Embedded Software (Informatik 11), RWTH Aachen University, 52056, Aachen, Germany

3. Stefan Kowalewski corresponding Aachen Embedded Software (Informatik 11)

   RWTH Aachen University

   Affiliation as printed

   Embedded Software (Informatik 11), RWTH Aachen University, 52056, Aachen, Germany

4. Aron Schnakenbeck

   Helmut Schmidt University

   Affiliation as printed

   Institut für Automatisierungstechnik, Helmut-Schmidt-Universität, 22043, Hamburg, Germany

5. Alexander Fay

   Ruhr University Bochum

   Affiliation as printed

   Lehrstuhl für Automatisierungstechnik, Ruhr-Universität Bochum, Universitätsstraße 150, 44801, Bochum, Germany