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

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

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

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