W sekwencyjnym diagramie funkcyjnym SFC/Grafcet trzeba rozdzielić dwie rzeczy:
- warunek wejścia w krok (kiedy krok się uaktywnia),
- warunek tranzycji (kiedy następuje przejście do kolejnego kroku).
W opisanym algorytmie krok "wysunięcie detalu" może być aktywowany np. warunkiem typu _S1 AND NOT _B4. To jednak dotyczy tylko rozpoczęcia kroku.
Sprawdzany w pytaniu moment to powrót tłoczyska do pozycji początkowej po aktywacji czujnika _1B1. Jeżeli tranzycja wyjścia z tego kroku jest opisana wyłącznie sygnałem _1B1, to przejście następuje zawsze wtedy, gdy _1B1=1, niezależnie od tego, czy:
- magazyn jest pusty lub nie (stan _B4),
- przycisk START jest nadal wciśnięty czy już zwolniony (stan _S1).
Dodatkowo w kroku znajduje się akcja kwalifikowana jako N (Non-stored) dla wyjścia _1M1. Oznacza to, że _1M1 jest aktywne tylko wtedy, gdy krok jest aktywny. Gdy tranzycja zadziała i krok przestanie być aktywny, akcja N automatycznie i bezwarunkowo wyłączy _1M1.
Wyłączenie cewki _1M1 sterującej zaworem 5/2 ze sprężyną powrotną powoduje powrót suwaka zaworu do położenia spoczynkowego, a w konsekwencji cofnięcie (powrót) tłoczyska siłownika.
Dlaczego pozostałe odpowiedzi są błędne?
- "…ale przy zwolnionym przycisku _S1" – błędnie wymaga stanu _S1, mimo że nie występuje on w warunku tranzycji.
- "…_B4 lub … _S1" – wprowadza dodatkowe warunki, które nie mają wpływu na spełnienie tranzycji _1B1.
- "…_B4 i … _S1" – myli logikę zakończenia kroku z logiką jego startu, co jest typowym błędem przy analizie SFC.
