不是實機梯形圖:等效邏輯
這裡以布林值 ON / OFF 代替電壓與時間。∧ 是「且」、∨ 是「或」、¬ 是「非」。這是本示例的單任務輸入快照模型,取樣後程式只讀輸入映像。
允許 P = Stop 健康 ∧ 過載健康 ∧ 外部安全允許
新啟動 E = 本次取樣 Start ∧ ¬ 前次取樣 Start
非復歸處理時:運轉保持 R = P ∧ ¬ 重啟鎖定 ∧(原有保持 ∨ E)
復歸處理時:保持 R = OFF;先釋放 Start,再等新的啟動
待提交命令 = R;提交後:輸出命令 = 待提交命令
模型運動 = 已提交命令 ∧ 外部安全允許
現場回授 = 模型運動 ∧ 回授通道連接
停止優先:只要 P 不成立,程式在本次判斷取消保持。外部安全故障另行立即禁止模型運動與鎖定重啟;單靠普通 PLC 掃描不能代表安全功能。
這是概念化的「允許接點串聯、啟動/保持支路」;新啟動上升緣、復歸鎖定與外部安全狀態由模型另行表示,不能直接接成安全電路。