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

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

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