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

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

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

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

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

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

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