Antwort:
Die zugehörige Transitionsbedingung hierfür lautet 5s/B3.
Nein, die Transition löst nicht aus.
Erklärung:
Die 5s starten mit einer positiven Flanke von B3. Die 5s laufen jedoch nur dann (fehlerfrei) ab, wenn B3 den Wert True beibehält. Wechselt B3 nach wenigen Millisekungen jedoch seinen zustand von True auf False, so läuft die Zeit nicht weiter ab. Die Transition kann also nicht auslösen.
Wechselt jetzt B3 seinen Zustand abermals von False auf True (B3 liefert also wieder eine steigende Flanke), so beginnen die 5s erneut von vorne abzulaufen.
Möchten man oben beschriebenes Verhalten jedoch trotzdem in seine Anlage implementieren, so bietet folgender GRAFCET (über einen kleinen Umweg) eine mögliche Lösung:
Schritt 2a führt keine konkrete Aktion innnerhalb der Analge aus. Der Anlagenbediener wird diesen Schritt während des Prozesses niemals wahrnehmen, denn für den Anlagenbediener gelangt die Steuerung von Schritt 2 (automatisch nach 5s) in den Schritt 3.
Da der Leerschritt nicht als wirklicher Produktionsschritt existiert, wurde als Bezeichnung 2a gewählt. Der Ersteller des GRAFCETs hat hier freie Wahl. Jedoch ist es ratsam, den GRAFCET immer so zu gestalten, dass er lesefreundlich ist. Denn nur so kann er seinen Zweck (Erfassung der Anlagenfunktion) gut erfüllen.