基于擴展佩特里網(wǎng)的工作流模型研究.pdf

1、隨著計算機在日常工作中的廣泛應(yīng)用,人們的許多工作已經(jīng)越來越多地依靠計算機來完成.與此同時,各種類型的信息系統(tǒng)也被廣泛地使用來支持這些工作,但這些系統(tǒng)基本上是獨立運行的,相互之間缺乏必要的交互、協(xié)作與感知,從而使得它們在協(xié)調(diào)多人的活動、協(xié)同完成某個共同的任務(wù)方面有著嚴(yán)重的不足,這也就是工作流管理系統(tǒng)(Workflow Management System,WfMS)進入90年代以來吸引了研究機構(gòu)與產(chǎn)業(yè)界廣泛關(guān)注的主要原因.在實際應(yīng)用中,希望

2、能夠使用直觀和簡單的方式創(chuàng)建過程定義.Petri網(wǎng)作為一種具有直觀的圖形表示建模方法,一直是受歡迎的方法.在工作流過程建模中,任務(wù)用變遷來建模,任務(wù)的條件用庫所來建模,案例用托肯來建模.這樣,就可以用Petri網(wǎng)的方法描述工作流的基本運算,因此給出了工作流基本結(jié)構(gòu)到Petri網(wǎng)的映射方法.從而得出了基于Petri網(wǎng)的工作流模型(WFPN).考慮到在實際應(yīng)用中存在一些比較復(fù)雜的工作流問題,在WFPN基礎(chǔ)上,給出了一種基于擴展的Petri網(wǎng)

3、建模方法—信息控制Petri網(wǎng)(ICPN)建模方法.采用ICPN可以很好地處理對外部事件及運算控制對模型的影響和具有嵌套結(jié)構(gòu)的復(fù)雜模型等.根據(jù)現(xiàn)實世界中的工作流正確性的概念,給出了工作流正確性的形式化描述,并用術(shù)語"合理性"來表征.根據(jù)合理性定義中的條件,證明了合理性等價于Petri網(wǎng)的活性和有界性,這樣WFPN模型的正確性驗證就歸結(jié)為對其基網(wǎng)的活性和有界性驗證,簡化了工作流正確性分析.同時,此方法也適應(yīng)分析基于ICPN的工作流模型的正