基于擴(kuò)展的高級(jí)Petri網(wǎng)建模及分析技術(shù)的研究.pdf

1、工作流的建模和分析技術(shù)是商業(yè)過程的組織、管理以及工作流管理系統(tǒng)的設(shè)計(jì)和實(shí)現(xiàn)的基礎(chǔ)。在設(shè)計(jì)和開發(fā)工作流管理系統(tǒng)時(shí)，首先要使用形式化的模型方法對(duì)工作流程進(jìn)行正確、清晰、簡潔的描述，這是整個(gè)系統(tǒng)最終能夠成功實(shí)現(xiàn)的前提條件。 本文首先討論了Petri網(wǎng)的特點(diǎn)及強(qiáng)大的建模優(yōu)勢(shì)，針對(duì)傳統(tǒng)Petri網(wǎng)存在的局限性，在前人的研究成果基礎(chǔ)上提出了通過顏色、時(shí)間、層次擴(kuò)展的高級(jí)Petri網(wǎng)。根據(jù)項(xiàng)目特點(diǎn)，提出了關(guān)鍵業(yè)務(wù)的輕量級(jí)工作流引擎的建模思想，

2、并詳細(xì)介紹了采用擴(kuò)展的高級(jí)Petri網(wǎng)來創(chuàng)建工作流模型的方法和步驟。接著，討論采用標(biāo)準(zhǔn)語言XPDL對(duì)所建工作流模型如何進(jìn)行過程定義。論文解決了系統(tǒng)實(shí)現(xiàn)中的兩個(gè)關(guān)鍵問題：事務(wù)型操作的處理和并發(fā)控制。引入工作流事務(wù)處理邏輯，結(jié)合實(shí)際系統(tǒng)的具體情況將Sagas模型和Contracts模型的思想結(jié)合起來，提出了“補(bǔ)償一替代事務(wù)處理邏輯”，有效地解決了長事務(wù)問題；“基于優(yōu)先級(jí)的鎖綁定機(jī)制”，避免了工作流系統(tǒng)中共享資源的并發(fā)訪問沖突。 論文

3、接著論述工作流模型的兩類分析技術(shù)：定性分析和定量分析。對(duì)可達(dá)性分析、排隊(duì)論作了簡要介紹；詳細(xì)討論了如何進(jìn)行結(jié)構(gòu)分析?；诠ぷ髁鞯慕M合特性，作者提出了層次概念的過程分解法。在工作流網(wǎng)的基礎(chǔ)上提出了工作流一隨機(jī)Petri網(wǎng)、加入時(shí)間因素的馬爾可夫鏈分析方法。通過引用基于隨機(jī)Petri網(wǎng)的等價(jià)化簡方法和工作流時(shí)間性能的近似分析方法，計(jì)算出了過程／任務(wù)的平均執(zhí)行時(shí)間。此外，還介紹了仿真分析方法，并以一系列的實(shí)例說明了每種分析方法的具體應(yīng)用。最后