1
2
3
1
1
1
1
1
1
1
1
2
3
2
2
1
2
3
3
0
3
Idle
0000
Init
8001
Open Guard
Request
8002
Guard
Opened
8012
Wait for
GuardSwitch1
8014
Discrepancytime
Error 1 C011
Error 2 C012
1
2
Wait for
GuardSwitch2
8004
Guard Closed
8005
Normal
8000
Reset
Error
C001
Wait for Reset
8003
Activate
NOT Activate
S_GuardSwitch1 AND
S_GuardSwitch2 AND
S_StartReset
S_GuardSwitch1 AND
S_GuardSwitch2 AND
NOT S_StartReset
NOT S_GuardSwitch1 ORNOT S_GuardSwitch1 OR
NOT S_GuardSwitch2NOT S_GuardSwitch2
NOT S_GuardSwitch1 OR
NOT S_GuardSwitch2
NOT S_GuardSwitch1 ANDNOT S_GuardSwitch1 AND
NOT S_GuardSwitch2NOT S_GuardSwitch2
NOT S_GuardSwitch1 AND
NOT S_GuardSwitch2
NOT S_GuardSwitch1NOT S_GuardSwitch1NOT S_GuardSwitch1NOT S_GuardSwitch1NOT S_GuardSwitch1
S_GuardSwitch1S_GuardSwitch1S_GuardSwitch1
S_GuardSwitch2S_GuardSwitch2S_GuardSwitch2
NOT S_GuardSwitch2NOT S_GuardSwitch2NOT S_GuardSwitch2
NOT S_GuardSwitch1 ANDNOT S_GuardSwitch1 AND
NOT S_GuardSwitch2NOT S_GuardSwitch2
NOT S_GuardSwitch1 ANDNOT S_GuardSwitch1 AND
NOT S_GuardSwitch2NOT S_GuardSwitch2
NOT S_GuardSwitch1 AND
NOT S_GuardSwitch2
S_GuardSwitch2S_GuardSwitch2S_GuardSwitch2
S_GuardSwitch1S_GuardSwitch1S_GuardSwitch1
NOT S_GuardSwitch1
OR
NOT S_GuardSwitch2
NOT S_AutoReset
NOT S_GuardSwitch1 NOT S_GuardSwitch1
OROR
NOT S_GuardSwitch2NOT S_GuardSwitch2
NOT S_GuardSwitch1
OR
NOT S_GuardSwitch2
NOT S_GuardSwitch1
OR
NOT S_GuardSwitch2
DiscrepancyTimeDiscrepancyTime
elapsedelapsed
DiscrepancyTime
elapsed
DiscrepancyTimeDiscrepancyTime
elapsedelapsed
DiscrepancyTime
elapsed
Reset AND NOTReset AND NOT
R_TRIG at ResetR_TRIG at Reset
Reset AND NOT
R_TRIG at Reset
NOT ResetNOT ResetNOT Reset
R_TRIG at ResetR_TRIG at ResetR_TRIG at Reset
S_AutoResetS_AutoResetS_AutoReset
Ready =FALSE
Ready =TRUE
S_GuardMonitoring=FALSE
S_GuardMonitoring=TRUE