基于Petri網(wǎng)的工作流引擎的研究與實現(xiàn).pdf

1、隨著企業(yè)建模、工作流概念的出現(xiàn)以及相關技術的發(fā)展，Petri網(wǎng)因其既有嚴格的形式定義，又有直觀的圖形表示，既有豐富的系統(tǒng)描述手段和系統(tǒng)行為分析技術，又為計算機科學提供堅實的概念基礎等諸多優(yōu)點也被應用于這一新興領域。然而，隨著建模技術的不斷實踐，包括工作流網(wǎng)(WF net)在內(nèi)的各種建模技術，難以直接支持很多復雜的應用情況。 工作流模式對目前工作流建模領域遇到的各種描述需求進行了系統(tǒng)闡述，并從簡單到復雜，分為基本控制流類、高級分

2、支及同步類、結構類、多實例類、狀態(tài)類和取消類6類，其中的高級同步類、多實例類和取消類等模式，在絕大多數(shù)工作流模型中都難以直接描述。目前幾種主要的商用工作流系統(tǒng)，都不能支持全部工作流模式，最多的只能支持大約50％的模式，而這些模式對于工作流的應用來說是至關重要的。本文的研究重點是如何應用Petri網(wǎng)實現(xiàn)，實現(xiàn)對復雜工作流模式的描述，以支持工作流的復雜應用。 本文在經(jīng)典Petri網(wǎng)和有色網(wǎng)理論基礎上，對工作流網(wǎng)(WF_net)進行了

3、顏色、弧守衛(wèi)函數(shù)、變遷操作函數(shù)的擴展，實現(xiàn)了對工作流語義的描述，從而提出了一種新的工作流網(wǎng)-ExWFN網(wǎng)。因為對WF_net進行了語義擴展，使用ExWFN網(wǎng)能夠很好地對復雜工作流模式的描述，能夠支持復雜的工作流應用。在ExWFN網(wǎng)中，弧守衛(wèi)函數(shù)用于消解沖突，從而選擇一條唯一執(zhí)行路徑；變遷操作函數(shù)用于控制變遷發(fā)生方式和讀寫變量，它們都沒有對WF_net網(wǎng)的結構進行改變。因此，ExWFN網(wǎng)在邏輯上與WF_net網(wǎng)是一致的，能夠充分利用Pet