1、離散事件系統(tǒng)是隨著未知的不規(guī)則時間間隔內出現(xiàn)的離散事件驅動演化的一類動態(tài)系統(tǒng)。從本質上講，這類系統(tǒng)是一個人造系統(tǒng)，典型的有柔性制造系統(tǒng)，計算機集成制造系統(tǒng)，交通控制系統(tǒng)，數(shù)據(jù)庫管理系統(tǒng)，通信網絡系統(tǒng)等等。在離散事件系統(tǒng)中，監(jiān)控系統(tǒng)行為使其不進入禁止狀態(tài)并滿足系統(tǒng)的性能要求是極其重要的。但是如何控制系統(tǒng)行為，避免其進入禁止狀態(tài)是一個非常棘手的問題。
　　與其它數(shù)學建模工具相比，Petri網以其圖形化的表現(xiàn)形式、眾多的分析方法和堅實的

2、數(shù)學基礎等優(yōu)勢，被廣泛應用于離散事件系統(tǒng)的研究中。本論文以Petri網為數(shù)學工具研究離散事件系統(tǒng)的禁止狀態(tài)監(jiān)控問題。
　　在基于Petri網的離散事件系統(tǒng)監(jiān)控器設計中，其控制問題可以用線性約束的方法來表示，且線性約束轉換問題一直是研究的重點。然而，Petri網中不可控變遷的存在，使得約束轉換問題變得更加復雜，且難處理。經過大量已有的研究工作發(fā)現(xiàn)，如何通過線性約束得到允許標識集，從而有效地解決禁止狀態(tài)問題仍是一個大難題。
　　

3、本文圍繞含有不可控變遷的Petri網的約束轉換問題展開研究，具體工作及研究成果如下:
　　1.首先引入廣義互斥約束等與線性約束相關的概念，并且針對一組廣義互斥約束的“邏輯或”形式的線性約束問題，我們給出了允許標識集的新定義，得到了獲取最大允許約束的轉換方法。
　　2.研究了不可控影響子網為α-網的一類Petri網，針對此類網，提出了最優(yōu)線性約束轉換方法，該方法首先根據(jù)定義獲得不可控影響子網，然后提出了求解轉換后禁止庫所集集合

4、的算法，最后根據(jù)禁止庫所集集合構造了“邏輯或”形式的最大允許線性約束。該算法基于約束轉換的思想，含有不可控變遷的Petri網的監(jiān)控問題可以簡化為相當于變遷全部可控的Petri網的監(jiān)控問題，不可控變遷導致的復雜性由此降低，系統(tǒng)中的監(jiān)控問題得到了更好的控制。
　　3.針對不可控影響子網為更復雜的Petri網，基于最大增量函數(shù)，提出了線性約束轉換方法。該方法通過分析求解最大增量函數(shù)的角度來進行線性約束不等式的轉換并提出一定的算法。