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

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

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

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