1
1
2
3
2
2
2
2
2
2
3
3
3
1
1
1
1
1
1
1
1
0
Idle
0000
Init
8001
Reset
Error 1
C001
Reset Error 2
C002
Reset Error 3
C003
Safety Return
8014
Safety
Lost
C004
Wait for Reset
8003
1
Wait for
Operator
8011
1
Guard Closed
and Locked
8000
Guard
Closed but
Unlocked
8013
Guard Open
and Unlocked
8012
Activate
NOT
Activate
NOT Reset
Reset AND NOT R_TRIG at Reset
AND NOT S_StartReset
NOTNOT
ResetReset
NOT
Reset
Reset AND NOT
R_TRIG at Reset
R_TRIG at
Reset
S_SafetyActiveS_SafetyActiveS_SafetyActive
NOT
S_SafetyActive
NOT S_SafetyActive ANDNOT S_SafetyActive AND
(NOT S_GuardMonitoring(NOT S_GuardMonitoring
OR NOT S_GuardLock)OR NOT S_GuardLock)
NOT S_SafetyActive AND
(NOT S_GuardMonitoring
OR NOT S_GuardLock)
NOT S_SafetyActive AND
NOT S_GuardMonitoring
S_GuardMonitoringS_GuardMonitoringS_GuardMonitoring
NOTNOT
S_GuardMonitoringS_GuardMonitoring
NOT
S_GuardMonitoring
NOT
UnlockRequest
S_GuardMonitoringS_GuardMonitoring
AND S_GuardLockAND S_GuardLock
S_GuardMonitoring
AND S_GuardLock
NOT Reset
NOT S_GuardLockNOT S_GuardLock
OR NOT S_GuardMonitoringOR NOT S_GuardMonitoring
NOT S_GuardLock
OR NOT S_GuardMonitoring
Reset AND NOTReset AND NOT
R_TRIG at ResetR_TRIG at Reset
AND NOTAND NOT
S_AutoResetS_AutoReset
Reset AND NOT
R_TRIG at Reset
AND NOT
S_AutoReset
(R_TRIG at Reset
OR S_StartReset) AND
S_GuardMonitoring
AND S_GuardLock
R_TRIG at ResetR_TRIG at Reset
OR S_AutoResetOR S_AutoReset
R_TRIG at Reset
OR S_AutoReset
R_TRIG at
UnlockRequest
AND SafetyActive
NOT S_GuardLock OR
NOT
S_GuardMonitoring
(S_SafetyActive(S_SafetyActive
AND UnlockRequest)AND UnlockRequest)
OR NOTOR NOT
S_GuardMonitoringS_GuardMonitoring
(S_SafetyActive
AND UnlockRequest)
OR NOT
S_GuardMonitoring
NOT S_GuardMonitoringNOT S_GuardMonitoring
OR NOT S_GuardLock OR NOT S_GuardLock
NOT S_GuardMonitoring
OR NOT S_GuardLock
Ready =FALSE
Ready =TRUE
S_S_
GuardLocked =FALSEGuardLocked =FALSE
S_
GuardLocked =FALSE
S_S_
GuardLocked =TRUEGuardLocked =TRUE
S_
GuardLocked =TRUE