PLC程序中競態(tài)的檢測方法研究.pdf

1、可編程邏輯控制器（PLC）廣泛地應用于柔性制造、軌道交通等安全苛求系統(tǒng)，這對PLC程序的正確性和可靠性有嚴格的要求。由于梯形圖是PLC使用最廣泛的編程語言，梯形圖程序驗證研究獲得了廣泛的關注。雖然梯形圖的語法錯誤可以通過編譯器檢測出來，但是對于一些隱藏在程序內的邏輯錯誤（特別是梯形圖的競態(tài)），編譯器將無能為力。
　　本文主要研究梯形圖程序的競態(tài)檢測方法，包括兩個主要的內容，分別是關系圖的競態(tài)檢測方法和抑制弧Petri網(wǎng)的競態(tài)檢測方

2、法。在基于關系圖的競態(tài)檢測方法中，首先提出了關系圖的概念，并給出梯形圖到關系圖的轉化方法，關系圖描述的邏輯關系可以一一對應到梯形圖的邏輯關系，發(fā)現(xiàn)了關系圖的環(huán)形結構與可編程邏輯控制器的競態(tài)之間的必然關系并據(jù)此給出了梯形圖無競態(tài)的一種多項式級計算復雜性的判據(jù)。在基于抑制弧Petri網(wǎng)的競態(tài)檢測方法中，使用抑制弧Petri網(wǎng)為梯形圖建模。并且考慮了PLC循環(huán)掃描的工作原理，為抑制弧Petri網(wǎng)添加了順序控制庫所。針對帶順序的抑制弧Petri