基于擴展的高級Petri網建模及分析技術的研究.pdf

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

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

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