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

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

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