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

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

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

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