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

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

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

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

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