基于時間Petri網(wǎng)的工作流建模及應(yīng)用.pdf

1、隨著信息技術(shù)的快速發(fā)展,世界經(jīng)濟全球化的浪潮一波波的洶涌而來,這對企業(yè)的生存環(huán)境產(chǎn)生深刻的影響,對企業(yè)的競爭力提出了新的挑戰(zhàn)。企業(yè)面對全球化的市場競爭環(huán)境時,需要面對大量的商業(yè)手續(xù),而這些大多數(shù)是通過公文或合同的形式來進行。因此為了提高在這些繁瑣而又不得不進行的工作的效率,企業(yè)自己本身必須對自己的工作流應(yīng)用提出更高的要求。因此,工作流管理系統(tǒng)的前期設(shè)計起著至關(guān)重要的作用。
　　 本文研究了現(xiàn)有的工作流技術(shù)的基礎(chǔ)上,為公文流轉(zhuǎn)系統(tǒng)

2、的發(fā)文流程和收文流程進行了工作流建模。并給出了符合WfMC(工作流管理聯(lián)盟)規(guī)范的基本工作流模型的時間Petri網(wǎng)描述,提出了將發(fā)文流程和收文流程工作流模型轉(zhuǎn)化為時間Petri網(wǎng)的幾個基本方法。討論了公文流轉(zhuǎn)系統(tǒng)建模后模型的幾個重要的狀態(tài)和變遷,并且在此基礎(chǔ)上,討論了時間Petri網(wǎng)的時間約束性能在公文流中的幾種重要的表現(xiàn)形式,引入了時間約束的概念,提出了模型正確性驗證算法,以及基于時間Petri網(wǎng)的時間約束的公文流轉(zhuǎn)工作流性能的優(yōu)化算

3、法,最后基于優(yōu)化后的工作流模型實現(xiàn)一個公文流轉(zhuǎn)系統(tǒng)。
　　 本文的主要內(nèi)容概括如下:
　　 (1)引入時間Petri網(wǎng)進行工作流建模本文通過工作流建模方法來對公文流轉(zhuǎn)系統(tǒng)中的發(fā)文流程和收文流程進行Petri網(wǎng)建模。并以其中一個公文流為實例,引入工作流的時間控制算法,目的是為了能夠更好的提高工作流的運行效率。并且闡述了工作流的時間約束的概念以及相應(yīng)的模型。
　　 (2)基于時間Petri網(wǎng)的公文流轉(zhuǎn)模型分析在先前建

4、模的基礎(chǔ)上,本文對公文流轉(zhuǎn)模型分別從時間Petri網(wǎng)可達性,活性等性質(zhì)進行分析,并且給出了模型分析的結(jié)果。
　　 (3)基于時間Petri網(wǎng)的公文流轉(zhuǎn)性能評價和優(yōu)化傳統(tǒng)的時間Petri網(wǎng)只對工作流時間約束進行分析,來作出是否正確的判斷。而對不符合時間約束的工作流模型只能人為的修改,效率不高。針對此問題,本文提出了一種能夠調(diào)整時間約束的算法,來幫助手工調(diào)整整個工作流管理系統(tǒng)。并對調(diào)整前后的工作流進行再次檢驗和性能的分析。