基于Petri網(wǎng)的工作流建模技術(shù)的應(yīng)用研究.pdf

1、工作流的概念起源于生產(chǎn)組織和辦公自動化領(lǐng)域，是人們?yōu)榱颂岣呱a(chǎn)和辦公效率，針對工作中具有固定程序的常規(guī)活動提出的。其目的是通過將業(yè)務(wù)分解成定義良好的任務(wù)、角色，并按照一定的規(guī)則和過程來執(zhí)行這些任務(wù)并對它們進行監(jiān)控，以提高辦事效率，降低生產(chǎn)成本，提高企業(yè)生產(chǎn)經(jīng)營管理水平和企業(yè)競爭力。
　　 工作流模型在提交給工作流引擎之前，應(yīng)該首先驗證模型的正確性，測試工作流是否能實現(xiàn)預(yù)期的業(yè)務(wù)目標，獲得相關(guān)性能指標，找出模型中存在的死鎖、瓶頸以

2、及冗余部分，從而修改模型使其達到最優(yōu)的性能。模型的正確性驗證和性能評價是工作流系統(tǒng)當前一個主要的研究和應(yīng)用領(lǐng)域。
　　 Petri網(wǎng)作為一種從過程的角度出發(fā)描述和分析復(fù)雜系統(tǒng)的模擬工具，具有形式化的語義定義、直觀的圖形表達、嚴格的數(shù)學(xué)基礎(chǔ)以及基于狀態(tài)的描述等優(yōu)點，非常適合于業(yè)務(wù)過程建模和流程優(yōu)化。
　　 本文結(jié)合浙江省高級人民法院OA系統(tǒng)，把擴展Petri網(wǎng)應(yīng)用于工作流的建模和評價過程中，對公文的收發(fā)過程進行建模，使用合

3、理性驗證規(guī)則對模型進行驗證并加以改進。根據(jù)廣義隨機Petri網(wǎng)理論對工作流系統(tǒng)的性能，平均服務(wù)時間和資源利用率進行了定量分析。
　　 本文針對經(jīng)典Petri網(wǎng)的死鎖定義過于寬泛的問題進行了探討，引入了嚴格死鎖和可控死鎖概念。因為在實際的Petri網(wǎng)模型中往往存在死鎖，但是可控的，這就為給實際問題的正確描述帶來了方便。
　　 文中引入了虛變遷的概念，虛變遷指的是不消耗時間和資源，能夠?qū)⑤斎霂焖鶢顟B(tài)轉(zhuǎn)移到輸出庫所狀態(tài)的變遷。