基于Petri網(wǎng)的離散事件系統(tǒng)控制器設(shè)計(jì)及應(yīng)用研究.pdf

1、Petri網(wǎng)能很容易地表達(dá)狹義相對(duì)論的觀點(diǎn)，在形式建模和系統(tǒng)分析時(shí)可以采用直觀的圖形化表示。Petri網(wǎng)的建模能力和數(shù)學(xué)化表達(dá)方法，使其能夠很好的運(yùn)用于柔性制造系統(tǒng)、交通控制系統(tǒng)、計(jì)算機(jī)網(wǎng)絡(luò)等方面中。雖然Petri網(wǎng)有許多優(yōu)越的性質(zhì)，面對(duì)較為龐大的離散事件系統(tǒng)時(shí)，他有狀態(tài)矩陣的維數(shù)極大，運(yùn)算復(fù)雜但缺乏統(tǒng)一的理論體系等問(wèn)題存在。本文基于Petri網(wǎng)的離散事件系統(tǒng)控制器的設(shè)計(jì)，主要研究工作摘要如下:
　　(1)提出了設(shè)計(jì)離散事件系統(tǒng)的

2、Petri網(wǎng)控制器設(shè)計(jì)方法。改進(jìn)了基于庫(kù)所不變量方法進(jìn)行離散事件系統(tǒng)控制器設(shè)計(jì)的方法。通過(guò)網(wǎng)簡(jiǎn)化技術(shù)原則，局部設(shè)計(jì)原則，讓系統(tǒng)設(shè)計(jì)程度變得簡(jiǎn)便一些。除此之外，在庫(kù)所標(biāo)識(shí)和變遷激發(fā)的混合約束中，運(yùn)用Petri網(wǎng)控制器的方法，使現(xiàn)有的系統(tǒng)和約束變得更一般，由于死鎖的緣故，這些情況無(wú)法實(shí)現(xiàn)，無(wú)法通過(guò)給定約束實(shí)現(xiàn)，只在方法的有效性和可行性上予以理論和應(yīng)用上的驗(yàn)證。
　　(2)對(duì)于線(xiàn)性不等式約束，本文首先考慮了不含不可控變遷的情況，構(gòu)建了結(jié)

3、構(gòu)型控制器，這樣構(gòu)建的控制器不用考慮整個(gè)Petri網(wǎng)模型的關(guān)聯(lián)矩陣，只需要考慮與約束庫(kù)所相關(guān)聯(lián)的變遷和約束變遷，通過(guò)該方法設(shè)計(jì)的控制器是最大允許的。然后本文引入了死鎖的概念，因?yàn)榭刂破鞯囊肟赡軙?huì)引入死鎖，造成原本不存在死鎖的系統(tǒng)進(jìn)入死鎖狀態(tài)。對(duì)于這樣的情形需要進(jìn)行預(yù)防死鎖的處理。
　　(3)針對(duì)分散控制的核心問(wèn)題，有種沖突是可能出現(xiàn)的，就是分散監(jiān)控器與它原有的系統(tǒng)之間發(fā)生的，這就引起了一種阻塞的問(wèn)題，這是出現(xiàn)在閉環(huán)系統(tǒng)中的，本文