雖然時序圖模型能夠用于研究集束型裝備的生產率問題,但該模型不能描述設備的動態行為特征, R10938J50特別是不能分析設備的定性特性。Petri網是制造系統建模及性能評估的有力工具。早期的Petri網主要應用于面向消息處理系統。近年來,PctⅡ網的理論不斷地充實

和完善,Pctri網己經成為離散事件系統建模和分析的有效方法,一大批學者與工程技術人員致力于Petri網的理論與應用研究。

   Petri網模型基礎理論

   Pctri網不僅具有可視化圖形的表示方法,還具有嚴格的數學基礎,是表達離散事件動態系統的靜態結構和動態變化的模型。它是一種結構化的描述工具,可以描述異步、同步、并行邏輯關系,既能夠分析系統運行性能(如制造系統設備使用率、生產率、可靠性

等),又可以用于檢查與防止諸如自動系統的死鎖、堆棧溢出、資源沖突等不期望的系統行為。Pctri網能夠直接從可視化的模型產生監控控制編碼,進行系統實時控制,可用于離散事件動態系統的仿真,從而對系統進行分析與評估。PctⅡ網可以通過結構變化描述系統的變化,支持形式化數學描述與分析。Pc廿i網模型還可以轉化為其他的模型,如馬爾科夫鏈等。正是由于上述特點,Pctri網已經成為描述、分析和控制離散事件動態系統最有效和 應用最廣泛的方法。