基于petri網(wǎng)工作流網(wǎng)模型研究及應(yīng)用問(wèn)題探究

《基于petri網(wǎng)工作流網(wǎng)模型研究及應(yīng)用問(wèn)題探究》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在工程資料-天天文庫(kù)。

1、基于Petri網(wǎng)工作流網(wǎng)模型研究及應(yīng)用問(wèn)題探究【摘要】文章介紹了Petri網(wǎng)和工作流網(wǎng)的基本知識(shí)，以及工作流網(wǎng)模型基本結(jié)構(gòu)，并結(jié)合公文管理中發(fā)文部分工作流應(yīng)用環(huán)境，提出了一個(gè)相對(duì)完整的基于Petri網(wǎng)的工作流網(wǎng)模型，并對(duì)模型的正確性進(jìn)行了分析?！娟P(guān)鍵詞】Petri網(wǎng)；工作流網(wǎng)；性能分析；發(fā)文Petri網(wǎng)理論起源于1962年CarlAdamPetri的博士論文《用自動(dòng)機(jī)通信》，在這篇文章中，他首次使用網(wǎng)狀結(jié)構(gòu)模擬通信系統(tǒng)。近年來(lái)，Petri網(wǎng)理論發(fā)展了以并發(fā)論、同步論、網(wǎng)邏輯和網(wǎng)拓?fù)錇橹饕獌?nèi)容的理論體系。Pet

2、ri網(wǎng)的應(yīng)用已涉及到計(jì)算機(jī)學(xué)科的各個(gè)領(lǐng)域，特別是在工作流技術(shù)應(yīng)用領(lǐng)域，Petri網(wǎng)以其良好的數(shù)學(xué)基礎(chǔ)和可視化的建模方法，已成為很多關(guān)于工作流研究中的分析和建模工具。2.2工作流網(wǎng)的基本結(jié)構(gòu)在庫(kù)所和變遷的基礎(chǔ)上，工作流網(wǎng)為電子政務(wù)系統(tǒng)流程構(gòu)造的控制關(guān)系有四種：串行、并行、選擇、循環(huán)。3.一個(gè)應(yīng)用問(wèn)題分析網(wǎng)上電子政務(wù)系統(tǒng)中的公文處理部分實(shí)際上是公文在各個(gè)部門之間進(jìn)行流轉(zhuǎn)，非常適合用工作流網(wǎng)的技術(shù)來(lái)實(shí)現(xiàn)。下面舉例分析公文處理中發(fā)文部分的工作流網(wǎng)建模、分析及相應(yīng)的實(shí)現(xiàn)技術(shù)。發(fā)文管理的業(yè)務(wù)流程為：用戶在公文起草數(shù)據(jù)庫(kù)中

3、起草公文，提交并進(jìn)入流程后，文件在發(fā)文流程中流轉(zhuǎn)，其中文書(shū)人員可以根據(jù)發(fā)文需要讓文件進(jìn)入串行或并行的會(huì)簽流程，流程結(jié)束后可以形成正式文件并蓋章，也可以返回到起草人，在整個(gè)過(guò)程中，審批人員可以隨時(shí)查看、打印流程跟蹤表。該模型顯示了發(fā)文過(guò)程中發(fā)生的操作和狀態(tài)的改變。通過(guò)工作流網(wǎng)的定義分析一下該模型的正確性：（2）每個(gè)節(jié)點(diǎn)x^PUT都屬于從到的一條路徑上。（3）該模型運(yùn)行過(guò)程中沒(méi)有死鎖，每個(gè)任務(wù)都能被執(zhí)行到。所以從理論上分析該模型是正確的，符合工作流網(wǎng)的定義，但從實(shí)際情況考慮，卻發(fā)現(xiàn)邏輯上的錯(cuò)誤。在變遷的執(zhí)行過(guò)程中

4、出現(xiàn)了并行結(jié)構(gòu)的”與連接”（AND-join）,校對(duì)修改的任務(wù)出現(xiàn)了兩個(gè)輸入位置，=（,）,要求，都存在令牌時(shí)，變遷才能發(fā)生，這無(wú)疑是錯(cuò)誤的。實(shí)際的情況是和中任何一個(gè)令牌存在，即文件起草結(jié)束，或核稿未通過(guò)，都應(yīng)該進(jìn)入校對(duì)修改狀態(tài)。對(duì)上面模型修改如圖2。增加了一個(gè)變遷（返稿），將核稿未通過(guò)狀態(tài)（用循環(huán)結(jié)構(gòu)）重新置為校對(duì)修改狀態(tài)，這樣變遷就是在條件選擇結(jié)構(gòu)的或連接“（OR—join）"情況下工作，此模型從Petri網(wǎng)理論和發(fā)文流程的實(shí)際情況都符合邏輯。對(duì)該模型進(jìn)一步分析：可以看出修改后的模型是自由選擇的Petri

5、網(wǎng)模型，這是由于對(duì)于圖中的任意兩個(gè)變遷和，只要存在，必有，如。同樣可以判斷該模型是好結(jié)構(gòu)的。3.結(jié)束語(yǔ)文章重點(diǎn)介紹了基于Petri網(wǎng)的工作流網(wǎng)模型技術(shù)，并結(jié)合具體模型進(jìn)行了性能分析。結(jié)合在電子政務(wù)系統(tǒng)中公文處理的實(shí)際環(huán)境，對(duì)發(fā)文流程的工作流網(wǎng)建模與分析過(guò)程進(jìn)行了說(shuō)明。在一個(gè)復(fù)雜的辦公自動(dòng)化系統(tǒng)中，通過(guò)工作流網(wǎng)的建模方式對(duì)流程進(jìn)行動(dòng)態(tài)模擬，應(yīng)用可達(dá)樹(shù)法、簡(jiǎn)約分析法、關(guān)聯(lián)矩陣和動(dòng)態(tài)方程等方法對(duì)系統(tǒng)的可行性、可擴(kuò)展性(柔性)、安全性(有界性)等方面都能作出良好的分析，使系統(tǒng)設(shè)計(jì)和運(yùn)行達(dá)到最優(yōu)狀態(tài)，這些技術(shù)的進(jìn)一步應(yīng)

6、用還有待探索和研究。參考文獻(xiàn)[1]KSalimifard,MWright.Petrinet-basedmodellingofworkflowsystems：Anoverview]〕].EuropeanJournalofOperationalResearch,2001,134(3).[2]袁崇義.隨機(jī)Petri網(wǎng)原理與應(yīng)用[M].北京：電子工業(yè)出版社,2005.[3]龍士工，羅文俊.隨機(jī)Petri網(wǎng)性能等價(jià)化簡(jiǎn)與分析方法研究[J].計(jì)算機(jī)工程,2006,32(12):27-28.[4]張衛(wèi)兵，朱順林?基于Pet

7、ri網(wǎng)公文流轉(zhuǎn)工作流模型的設(shè)計(jì)[J].計(jì)算機(jī)工程,2004.30(2).[1]崔煥慶，吳哲輝，方歡.公平信息傳遞并行程序設(shè)計(jì)的Petri網(wǎng)方法[J]?系統(tǒng)仿真學(xué)報(bào),2009,21(13).