基于簡(jiǎn)化技術(shù)的受控Petri網(wǎng)的顯式控制器設(shè)計(jì).pdf

1、計(jì)算機(jī)和網(wǎng)絡(luò)技術(shù)的發(fā)展，使得離散事件動(dòng)態(tài)系統(tǒng)得到了廣泛的應(yīng)用。Petri網(wǎng)作為一種建模工具，由于圖形化和分布式等優(yōu)點(diǎn)，越來(lái)越多的用于離散事件動(dòng)態(tài)系統(tǒng)的監(jiān)控理論研究中。
　　 當(dāng)前，Petri網(wǎng)的離散事件系統(tǒng)監(jiān)控理論的研究熱點(diǎn)之一是禁止?fàn)顟B(tài)問(wèn)題，其本質(zhì)是Petri網(wǎng)的可達(dá)性問(wèn)題，由于存在空間狀態(tài)爆炸的問(wèn)題，即其計(jì)算量隨著網(wǎng)的規(guī)模呈幾何級(jí)數(shù)增加，因此如何減少在線(xiàn)計(jì)算量，縮短在線(xiàn)計(jì)算時(shí)間，甚至設(shè)計(jì)出其顯式控制器對(duì)于一個(gè)實(shí)際系統(tǒng)特別是實(shí)

2、時(shí)系統(tǒng)具有重要的意義。為此本文主要定義研究了兩種全新的特定結(jié)構(gòu)Petri網(wǎng)子類(lèi)—ST—圖工作流網(wǎng)和資源分配型工作流網(wǎng)，在全面研究分析其結(jié)構(gòu)和性質(zhì)的基礎(chǔ)上，提出了一種保證界相同的簡(jiǎn)化技術(shù)，最終實(shí)現(xiàn)該類(lèi)受控Petri網(wǎng)的顯式控制器設(shè)計(jì)。
　　 在ST—圖工作流網(wǎng)方面，首先定義了ST—圖工作流網(wǎng)的結(jié)構(gòu)及其網(wǎng)系統(tǒng)相關(guān)的標(biāo)識(shí)，研究分析該P(yáng)etri網(wǎng)子類(lèi)具有的一些特定性質(zhì)，其中重點(diǎn)分析了任意穩(wěn)固性所需的標(biāo)識(shí)條件以及它所具有的相關(guān)作用，然后研

3、究當(dāng)其作為子網(wǎng)時(shí)對(duì)整個(gè)網(wǎng)系統(tǒng)運(yùn)行所產(chǎn)生的影響。并在此基礎(chǔ)上，把它應(yīng)用于Petri網(wǎng)子網(wǎng)的簡(jiǎn)化，提出了一種基于ST—圖工作流網(wǎng)的簡(jiǎn)化技術(shù)，擴(kuò)展了顯式控制器存在的條件，進(jìn)一步解決了最大不可控子網(wǎng)含環(huán)狀結(jié)構(gòu)后的顯式控制器的求解難題，最后從變遷角度研究T型ST—圖工作流網(wǎng)的性質(zhì)及其相關(guān)作用。
　　 在資源分配型工作流網(wǎng)方面，首先引入了資源分配子網(wǎng)的概念，它擴(kuò)展了資源約束型工作流網(wǎng)中資源庫(kù)所的應(yīng)用范圍，然后研究分析了一種在特定標(biāo)識(shí)下滿(mǎn)足任