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

1、工作流管理技術(shù)是一種過程建模和過程管理的核心技術(shù)，它可以應(yīng)用在很多業(yè)務(wù)管理系統(tǒng)中，如辦公室自動化系統(tǒng)、項目管理軟件等。工作流技術(shù)把一個具體的任務(wù)分成若干個獨立的子任務(wù)，各個子任務(wù)之間相互協(xié)作，有明確的分工和先后順序，當任務(wù)發(fā)生改變后，通過工作流技術(shù)又能迅速的對工作流中的各個子任務(wù)進行重組。目前我國對工作流技術(shù)的研究還沒有成熟，很多關(guān)于工作流的技術(shù)問題還處于探索階段。工作流的探索和研究空間非常大，并且有著重要的意義。
　　 本文首

2、先從各種研究資料出發(fā)，介紹了工作流的基本理論、工作流的建模理論，分析了目前常用的幾種建模方法及它們的優(yōu)缺點。Petri網(wǎng)是一種圖形化、數(shù)學化的建模工具。Petri網(wǎng)自上世紀六十年代由德國學者C.A.Petri提出以來，經(jīng)過了四十余年的發(fā)展，已被廣泛的應(yīng)用于各個領(lǐng)域進行系統(tǒng)建模、分析和控制。由于工作流具有實時性、動態(tài)性、分布性和異步操作等特點，工作流的描述應(yīng)當基于具有豐富的語義表達功能的建模方法。在對幾種建模方法的比較之后，確定了基于Pe

3、tri網(wǎng)的工作模型作為本文的研究重點，在別人的研究資料的基礎(chǔ)上，對Petri網(wǎng)的基本理論進行了闡述、對Petri網(wǎng)的建模方法進行深入的研究，結(jié)合相關(guān)資料改編了工作流模型合理性驗證算法，從而可以對模型的合理性進行準確的驗證。
　　 從應(yīng)用的角度上來講，本文對成績申訴過程利用Petri網(wǎng)進行了建模，并利用合理性算法對模型進行了分析驗證，最終把模型成功的應(yīng)用到了具體系統(tǒng)中。由于成績申訴的過程牽扯的角色多，信息分散，處理過程復雜，為了更

4、好的描述成績申訴處理的工作流程，故采用工作流技術(shù)進行很好的處理。在系統(tǒng)開發(fā)的過程中采用了java技術(shù)、并基于Bossa開源引擎進行了工作流模型的描述和管理，實現(xiàn)了從成績申訴到最終處理的業(yè)務(wù)過程，并能很好的對過程進行監(jiān)控和管理。
　　 論文所做的工作如下：
　　 (1)系統(tǒng)的闡述了工作流和Petri網(wǎng)的基本理論。本文對工作流的概念，工作流管理系統(tǒng)的概念、Petri網(wǎng)的基本概念、Petri網(wǎng)的建模方法及工作流網(wǎng)的建模方法進行

5、系統(tǒng)闡述和梳理。
　　 (2)成功的利用Petri網(wǎng)進行系統(tǒng)建模。結(jié)合工作流網(wǎng)的定義、工作流網(wǎng)的組建和工作流網(wǎng)的觸發(fā)機制，對成績申訴過程進行建模。
　　 (3)在別人的研究基礎(chǔ)上改編了基于Petri網(wǎng)的工作流模型的合理性算法，并通過實例敘述了模型的驗證步驟，并對論文中關(guān)于成績申訴的工作流模型進行合理性驗證，從而證明模型的合理性。
　　 (4)把利用Petri網(wǎng)建立并驗證后的工作流模型應(yīng)用到了具體的系統(tǒng)中，利用Bo

6、ssa開源引擎開發(fā)了一個成績申訴系統(tǒng)的原型，并運行成功。
　　 本文對基于Petri網(wǎng)的工作流模型的建模方法、驗證方法以及模型的應(yīng)用做了一定的工作，但尚存不足：
　　 (1)驗證算法的復雜性，采用的推算方法比較復雜，雖然能得出正確的結(jié)論，但過程數(shù)據(jù)量大，在推算過程中容易出現(xiàn)錯誤。
　　 (2)應(yīng)用程序的可擴展性，本文主要是闡述利用Petri網(wǎng)對工作流建模和驗證，沒有過多的考慮開發(fā)出的應(yīng)用程序的可擴展性。