Das Schaltwerk erzeugt die State_ID, die an alle Zonen gesendet wird.
Jede Zone prüft diese ID und aktiviert automatisch den passenden Operanten.
Eine IN_OUT-Zone z. B. weiß:
„Ich bin in Zustand 2 → Operant S → Aktion ausführen und auf Feedback warten.“
Sobald das Feedback TRUE ist, meldet die Zone:
„Sequence Check erfüllt → S = 0.“
Das Schaltwerk sammelt alle Meldungen:
Wenn kein Interlock aktiv ist und alle S erfüllt sind, ist ΣS = 0 und der nächste Zustand wird freigegeben.
