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

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

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

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