基于Petri網(wǎng)的工作流模型化方法及其應(yīng)用研究.pdf

1、工作流管理作為一種采用自動化的處理技術(shù)協(xié)調(diào)、完成某項(xiàng)工作，近年來在國內(nèi)外各個(gè)領(lǐng)域中開始興起。隨著這種技術(shù)的發(fā)展，結(jié)合其他計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)和分布式的通信技術(shù)，已經(jīng)形成了一種問題模型構(gòu)建和分析解決的方法，應(yīng)用在除辦公自動化領(lǐng)域以外的其他領(lǐng)域，在處理復(fù)雜事件方面非常具備優(yōu)勢。本文基于此研究意義，主要研究了基于Petri網(wǎng)進(jìn)行工作流模型構(gòu)建和分析的理論，即在工作流管理系統(tǒng)設(shè)計(jì)和實(shí)現(xiàn)之后，根據(jù)其運(yùn)行特點(diǎn)和優(yōu)勢提出了系統(tǒng)歸約化簡的方法，并結(jié)合隨機(jī)Pe

2、tri網(wǎng)和概率論這種數(shù)學(xué)分析方法進(jìn)行模型分析。本文的主要研究工作可以歸納為以下幾點(diǎn):
　　1、提出了一種基于Petri網(wǎng)的工作流模型，即WF-net網(wǎng)，并采用Petri網(wǎng)進(jìn)行模型性質(zhì)的分析;采用化簡規(guī)則將模型狀態(tài)轉(zhuǎn)化到基本的Petri網(wǎng)狀態(tài)，利用Petri網(wǎng)進(jìn)行了模型活性、有界性以及可逆性的分析;
　　2、基于圖歸約法，提出一種比較切實(shí)可行工作流模型結(jié)構(gòu)正確性檢驗(yàn)方法。能夠?qū)ぷ髁髂Ｐ椭写嬖诘母鞣N沖突性結(jié)構(gòu)進(jìn)行準(zhǔn)確的檢驗(yàn)，并

3、給出理論支持和具體算法;繼而提出工作流模型的化簡規(guī)則和基于Petri網(wǎng)的模型優(yōu)化思想和具體算法;
　　3、構(gòu)建了一個(gè)基于Petri網(wǎng)的工作流仿真環(huán)境，將建模工具構(gòu)建的工作流模型轉(zhuǎn)換成Petri網(wǎng)模型，然后設(shè)置仿真參數(shù)，進(jìn)行仿真運(yùn)行，通過仿真性能指標(biāo)，進(jìn)一步分析和評價(jià)工作流過程定義的各項(xiàng)性能，進(jìn)而通過改進(jìn)得到一個(gè)較優(yōu)的過程模型;
　　4、性能分析是工作流模型創(chuàng)建后的關(guān)鍵環(huán)節(jié)，利用Petri網(wǎng)的可覆蓋樹方法和關(guān)聯(lián)矩陣與狀態(tài)方程分