基于PETRI NET的可編程序控制器編程方法的研究.pdf

1、本文對基于PETRI NET的可編程序控制器編程方法進行了研究。主要內容如下： 1.分析了傳統(tǒng)PLC程序設計方法（如組合邏輯函數(shù)法等）的局限性及PetriNet方法在PLC程序設計中應用的可能性。 2.分析了幾種現(xiàn)有的PetriNet分解壓縮技術，根據(jù)控制系統(tǒng)實例和PLC的特點，嘗試采用分層PETRI NET和T-組合PETRI NET相結合的方法來處理“狀態(tài)空間爆炸”問題。 3.探討了PETRI NET控制器的

2、設計方法以及利用PETRI NET控制器進行系統(tǒng)程序設計的方法。 4.將PETRI NET理論應用在一個復雜并行PLC控制系統(tǒng)實例中，對控制系統(tǒng)建立了PETRI NET模型。在建模中，采用分層PETRI NET和T組合PETRI NET相結合的方法對系統(tǒng)PETRI NET進行分解和壓縮，達到了對系統(tǒng)PETRI NET模型簡化的目的。 5.給出了系統(tǒng)的可達樹和關聯(lián)矩陣，并據(jù)此對系統(tǒng)PETRI NET的各種性質（如活性等）進