皮帶機(jī)群控系統(tǒng)的Petri網(wǎng)建模與規(guī)則化描述.pdf

1、皮帶機(jī)群控系統(tǒng)是一個(gè)典型的離散事件控制系統(tǒng)(Discrete Event Control Systems，DECS)，無法通過傳統(tǒng)的描述連續(xù)變量動(dòng)態(tài)系統(tǒng)(Continuous Variable Dynamic Systems，CVDS)的計(jì)算機(jī)控制理論進(jìn)行有效地描述，所以需要采用其他途徑對(duì)其進(jìn)行建模。
　　 本文在深入研究和分析了皮帶機(jī)群控系統(tǒng)的運(yùn)行狀態(tài)以及控制規(guī)則之后，針對(duì)基本Petri網(wǎng)對(duì)復(fù)雜DECS建模時(shí)存在的“節(jié)點(diǎn)爆炸”

2、問題，在基本Petri網(wǎng)理論以及各類拓展Petri網(wǎng)的基礎(chǔ)上，結(jié)合皮帶機(jī)群控系統(tǒng)建模的需要，設(shè)計(jì)了一種帶約束組合弧的面向?qū)ο笥猩玃etri網(wǎng)(Object-Oriented Color Petri Net，OOCPN)模型，約束組合弧的引入可以提高模型的抽象能力，有效地約簡了Petri網(wǎng)模型的結(jié)構(gòu)；面向?qū)ο蠹夹g(shù)的引入增強(qiáng)了模型的模塊化描述能力，通過分析模型的完備性，驗(yàn)證了模型建立的正確性。同時(shí)，為了解決Petri網(wǎng)模型難以直接轉(zhuǎn)化為控制