序狀Petri網(wǎng)的簡(jiǎn)化方法及其在控制器設(shè)計(jì)中的應(yīng)用.pdf

1、Petri網(wǎng)是系統(tǒng)描述和分析的有力工具，近年來被廣泛地應(yīng)用于離散事件系統(tǒng)(DES)領(lǐng)域，它不僅能夠刻畫系統(tǒng)的結(jié)構(gòu)，而且可以描述系統(tǒng)的動(dòng)態(tài)行為。離散事件系統(tǒng)是由不規(guī)則時(shí)間間隔出現(xiàn)的事件序列驅(qū)動(dòng)的一種動(dòng)態(tài)系統(tǒng)，從本質(zhì)上講，這類系統(tǒng)是一個(gè)人造系統(tǒng)，實(shí)際的離散事件系統(tǒng)可能會(huì)演變到一些禁止?fàn)顟B(tài)，禁止?fàn)顟B(tài)的避免，就是設(shè)計(jì)一個(gè)控制器，使得在控制器作用下受控對(duì)象的閉環(huán)行為滿足控制規(guī)范的要求。 本論文的主要內(nèi)容是由序狀Petri網(wǎng)的簡(jiǎn)化方法和監(jiān)控

2、理論兩大部分組成： 序狀Petri網(wǎng)的簡(jiǎn)化部分：首先，在簡(jiǎn)化網(wǎng)系統(tǒng)的基礎(chǔ)上，研究了強(qiáng)連通狀態(tài)機(jī)和工作流網(wǎng)的特性及其等效簡(jiǎn)化方法，基于此，提出了序狀Petri的簡(jiǎn)化方法，它可以將序狀Petri網(wǎng)中的強(qiáng)連通狀態(tài)機(jī)子網(wǎng)和工作流子網(wǎng)進(jìn)行等效簡(jiǎn)化，該部分內(nèi)容將直接應(yīng)用于本文后續(xù)章節(jié)中的控制器設(shè)計(jì)。 監(jiān)控理論部分：提出一種基于簡(jiǎn)化受控Petri網(wǎng)的控制器設(shè)計(jì)方法，它適用于最大不可控子網(wǎng)為序狀Petri網(wǎng)，且每個(gè)環(huán)序狀子網(wǎng)均為強(qiáng)連通狀