基于Petri網(wǎng)的地下工程智能化系統(tǒng)建模

介紹了一種混合Petri網(wǎng)的基本原理，在分析了復(fù)雜地下工程智能化系統(tǒng)的復(fù)雜性、交互
性、混合性的基礎(chǔ)上，提出了利用混合Petri網(wǎng)對(duì)復(fù)雜地下工程智能化系統(tǒng)進(jìn)行建模的一般方法，進(jìn)而為復(fù)雜地下工程智能化系統(tǒng)的性能指標(biāo)定量分析和系統(tǒng)結(jié)構(gòu)優(yōu)化提供了理論依據(jù)。
關(guān)鍵詞：建模;混合Petri網(wǎng);地下工程;復(fù)雜智能化系統(tǒng)
近年來，隨著地下工程對(duì)信息化水平要求的不斷提高，智能化系統(tǒng)在地下工程中的應(yīng)用越來越普遍，地下工程智能化系統(tǒng)的規(guī)模和功能也越來越龐大和復(fù)雜。然而，目前我國絕大多數(shù)地下工程智能化系統(tǒng)的設(shè)計(jì)還停留在依靠設(shè)計(jì)人員的經(jīng)驗(yàn)和定性分析上，設(shè)計(jì)出的系統(tǒng)結(jié)構(gòu)是否合理，功能、可靠性能否達(dá)到設(shè)計(jì)要求等判斷只能依靠定性的分析，而無法進(jìn)行定量的判斷，即系統(tǒng)性能指標(biāo)無法在系統(tǒng)實(shí)際運(yùn)行前得出有保證的結(jié)論。
通過對(duì)系統(tǒng)進(jìn)行建模分析，從而完成地下工程智能化系統(tǒng)的形式描述、系統(tǒng)正確性驗(yàn)證、系統(tǒng)性能評(píng)價(jià)、系統(tǒng)穩(wěn)定性分析、系統(tǒng)的目標(biāo)實(shí)現(xiàn)和測試是非常必要的?；旌螾etri網(wǎng)采用可視化圖形描述系統(tǒng)的靜態(tài)結(jié)構(gòu)及動(dòng)態(tài)結(jié)構(gòu)，易于理解。有著嚴(yán)格的數(shù)學(xué)基礎(chǔ)和嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)邏輯，使對(duì)系統(tǒng)進(jìn)行的性能評(píng)價(jià)、穩(wěn)定性評(píng)價(jià)等具有數(shù)學(xué)依據(jù)；能充分地描述各子系統(tǒng)間的聯(lián)系，捕捉系統(tǒng)事件的先后、并行、同步與異步特征，反應(yīng)系統(tǒng)的沖突、互斥、非確定及系統(tǒng)死鎖；還可以對(duì)系統(tǒng)進(jìn)行仿真分析，找出系統(tǒng)性能瓶頸，從而對(duì)系統(tǒng)結(jié)構(gòu)進(jìn)行有針對(duì)的優(yōu)化設(shè)計(jì)。因此它是完成上述任務(wù)的有效建模工具。