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

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

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