W diagramach SFC/GRAFCET przebieg sterowania opisuje się jako sekwencję kroków (stany) rozdzielanych przez tranzycje (warunki przejścia). Kluczowe jest rozróżnienie struktur alternatywnych i równoległych.
Symbol podwójnej linii poziomej w notacji SFC/GRAFCET oznacza synchronizację gałęzi równoległych. W przypadku konwergencji (złączenia) oznacza to, że kolejne przejście (tranzycja umieszczona poniżej) jest możliwe dopiero wtedy, gdy wszystkie kroki doprowadzone do tej linii są aktywne w tym samym czasie. Jest to odpowiednik logiki AND dla równoległych sekwencji.
W rozpatrywanym schemacie gałęzie prowadzą do kroków 4, 5 i 6, a następnie zbiegają się do podwójnej linii synchronizacji. Zatem warunkiem "zejścia" poniżej tej linii i uaktywnienia tranzycji prowadzącej dalej (a w konsekwencji wejścia w kroki 11–14) jest jednoczesna aktywność kroków 4, 5 i 6.
Dlaczego pozostałe odpowiedzi są niepoprawne?
- "4 i 6" oraz "4 i 5" pomijają jedną z gałęzi równoległych. Przy synchronizacji AND brak aktywności choć jednego z wymaganych kroków blokuje uaktywnienie tranzycji poniżej.
- "4 lub 5 lub 6" odpowiadałoby logice alternatywnej (OR), typowej dla rozgałęzienia/złączenia alternatywnego (zwykle kojarzonego z pojedynczą linią), a nie dla synchronizacji podwójną linią.
Wskazówka egzaminacyjna: gdy widzisz podwójną linię, myśl "wszyscy muszą dojść"; gdy struktura jest alternatywna, myśl "wystarczy jedna ścieżka".
