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