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

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

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

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