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

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

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

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