门锁安全回路
逐项改变门侧确认条件，观察“所有适用门条件”和“运行许可”怎样随之变化。
门侧确认条件
层门关闭确认
state.landingDoorClosed.confirmed
层门锁紧确认
state.landingDoorLock.confirmed
轿门关闭确认
state.carDoorClosed.confirmed
轿门锁紧确认（适用时）
state.carDoorLock.confirmed
其他安全条件：成立
state.safety.othersOk = true
控制逻辑：允许
本演示固定前提
串联“并且”关系
C1
层门关闭
未确认
C2
层门锁紧
未确认
C3
轿门关闭
未确认
C4
轿门锁紧
不适用
所有适用门条件
不成立
state.doors.allSecured
运行许可
perm.motion
仍有适用的门条件未确认，因此不能形成运行许可。
动态教学原理图
基础教学模型 · 3 个必要触点上方开关与图中触点双向联动；依次闭合全部适用触点，观察逻辑信号怎样到达运行许可指示灯。
教学
信号
信号
运行许可
绿色路径只表示教学模型中的逻辑条件已经传递到该位置，不表示实际电流、电压或接线结构。