GRAFCET ständige Überprüfung einer Bedingung

Hallo,

Wenn ich das richtig verstanden habe ist GRAFCET eine Norm um automatisierte Abläufe grafisch zu dokumentieren.

Jetzt würde ich gerne in einem GRAFCET als Bedingung mit einbauen
nur wenn ein bestimmtes Signal (Schutztür geschlossen) vorhanden ist
darf die Ansteuerung eines Ventils erfolgen. Sobald das Signal nicht mehr vorhanden ist (jemand hat im laufenden Betrieb die Schütztür geöffnet) soll das momentan geschaltete Ventil sofort abgeschaltet werden.

Ich meine damit es soll nicht nur der nächste Schritt nicht ausgeführt werden sondern auch der aktuelle Schritt soll ABGEBROCHEN werden.

Dazu habe ich noch nichts gefunden wie das in einem GRAFCET dargestellt wird?

Würde man das als Aktion bei Ereignis darstellen?

Bin Dankbar für Hinweise. Auch für links die eine ausführliche Einführung in GRAFCET geben.

Grüße
phenomen