基于Petri網(wǎng)的消防建審工作流系統(tǒng)的建模與實現(xiàn).pdf

1、工作流管理是一個被廣泛應(yīng)用并迅速發(fā)展的技術(shù)，而工作流建模是工作流技術(shù)研究的基礎(chǔ)。經(jīng)過對多種建模工具的比較和分析后，作者將具有堅實的理論基礎(chǔ)和成熟的分析方法的Petri網(wǎng)建模技術(shù)應(yīng)用于消防建筑審核工作流系統(tǒng)。它是一種基于狀態(tài)的建模技術(shù)，可以方便地進行層次化建模，并可以驗證模型的可行性。這恰恰符合消防建審流程的基本出發(fā)點站在企業(yè)用戶的角度審視和思考流程，即企業(yè)只關(guān)心申請所處的狀態(tài)。因此本文建立了一個基于Petri網(wǎng)的消防建審工作流模型。此模

2、型更符合從用戶需求出發(fā)，構(gòu)建服務(wù)型系統(tǒng)的需要。 按國家消防建審相關(guān)法律條例規(guī)定，本文建立的消防建審總體業(yè)務(wù)流程具有一定的通用性，而消防建審工作因地區(qū)和組織機構(gòu)不同而有一定差別。因此本文利用分層Petri網(wǎng)技術(shù)將總體業(yè)務(wù)流程按層次進行細化和分解，形成消防建筑審批子流程和消防建筑審核子流程。此方法可以隱藏子網(wǎng)的內(nèi)部結(jié)構(gòu)和詳細描述；可以使子網(wǎng)的描述并行進行；可以使整個模型具有良好的層次結(jié)構(gòu)。 本文利用工作流網(wǎng)技術(shù)，依據(jù)消防建審

3、業(yè)務(wù)建立了消防建審工作流邏輯網(wǎng)；然后在工作流邏輯上用案例屬性中的顯性內(nèi)容來消解沖突，為案例確定實際路徑，從而建立了消防建審工作流語義網(wǎng)；最后工作流管理部分由工作流引擎來完成，分別建立了工作流管理邏輯網(wǎng)和工作流管理語義網(wǎng)。并對消防建審工作流模型，按照Petri網(wǎng)的化簡規(guī)則和檢驗規(guī)則進行有效性、正確性分析驗證。 本文以大連市消防支隊消防建審工作流系統(tǒng)項目為背景，在對建筑工程消防監(jiān)督審核等相關(guān)工作充分調(diào)研的基礎(chǔ)上，設(shè)計出基于Petri