W języku GRAFCET poprawność schematu ocenia się przez zgodność kolejności etapów oraz warunków tranzycji z opisem pracy obiektu. W tym zadaniu obiektem jest siłownik pneumatyczny z dwoma czujnikami krańcowymi: B1 sygnalizuje położenie wsunięte, a B2 sygnalizuje położenie wysunięte. Dodatkowo start cyklu jest wyzwalany przyciskiem S1.
Z opisu wynika sekwencja:
- Jeżeli tłoczysko jest wsunięte (B1=1) i operator naciśnie S1, to następuje wysuw.
- Gdy siłownik dojedzie do położenia krańcowego wysuniętego (B2=1), układ ma samoczynnie wrócić, czyli wykonać wsuw.
- Po powrocie do położenia wsuniętego (B1=1) cykl jest zakończony / gotowy do następnego startu.
Dlatego prawidłowy schemat GRAFCET musi mieć:
- tranzycję startową z warunkiem S1·B1=1 (koniunkcja: oba sygnały muszą być spełnione),
- etap Wysuw,
- tranzycję B2=1 przełączającą na powrót,
- etap Wsuw,
- tranzycję B1=1 kończącą powrót do pozycji bazowej.
To spełnia odpowiedź A.
Pozostałe warianty (B, C, D) są błędne, ponieważ w typowych pomyłkach projektowych: (1) używa się niewłaściwego operatora logicznego w starcie (np. OR zamiast AND), (2) zamienia się znaczenie czujników B1 i B2, albo (3) zmienia się kolejność kroków, przez co schemat nie odpowiada fizycznemu cyklowi wysuw–wsuw.
