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

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

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

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