基于Petri網工作流模型的電廠信息系統(tǒng)體系建模研究.pdf

1、本文在研究現代化大型火電廠信息類型及其特征的基礎上，基于Petri網工作流技術建立了電廠信息系統(tǒng)模型，并利用Petri網的良好的數學特性來描述和分析信息系統(tǒng)模型，提高現代化大型火力發(fā)電廠的市場競爭力，從而帶來巨大的經濟效益。 論文的主要工作和研究成果如下： 1)建立了火電廠管控信息系統(tǒng)的一般模型，然后建立了相應的時序Petri網模型；為了解決狀態(tài)爆炸問題以及方便模型的分析，對時序Petri網模型進行功能提取，簡化其Pet

2、ri網模型；并證明了簡化網在功能性上保持了原Petri網的功能。 2)將火電廠的生產過程用RCM(結果鏈模型)方法建模，并將其模型轉化為集控Petri網模型，利用Petri網模型確定制造活動間的選擇、沖突、同步和并發(fā)關系，然后，用基于關聯矩陣的重組算法對生產活動進行重組。另外，提出了Petri-PERT(計劃評審技術)來優(yōu)化生產過程，大大提高資源的利用率。 3)提出一種用于電廠管理系統(tǒng)設計的新方法，將傳統(tǒng)的軟件工程技術和

3、DEDS建模(如Petri網)結合起來。以電廠故障檢測系統(tǒng)為例，建立了UML圖及其相應的Petri網模型。為了方便分析模型，對Petri網進行了簡化。 4)研究了在復雜線性約束下，火電廠信息系統(tǒng)含有不可控、不可觀變遷Petri網控制器的設計策略。 5)提出一種基于奇偶校驗的Petri網控制器中故障檢測的方法。將檢測出的故障用約束條件表示出來，然后與系統(tǒng)給定的約束條件一起構成Petri網控制器的條件，并據此設計出具有容錯性