基于Petri網的工作流模型化方法及其應用研究.pdf

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

2、tri網和概率論這種數學分析方法進行模型分析。本文的主要研究工作可以歸納為以下幾點:
　　1、提出了一種基于Petri網的工作流模型，即WF-net網，并采用Petri網進行模型性質的分析;采用化簡規(guī)則將模型狀態(tài)轉化到基本的Petri網狀態(tài)，利用Petri網進行了模型活性、有界性以及可逆性的分析;
　　2、基于圖歸約法，提出一種比較切實可行工作流模型結構正確性檢驗方法。能夠對工作流模型中存在的各種沖突性結構進行準確的檢驗，并

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