資源描述:
《基于petri網(wǎng)工作流網(wǎng)模型研究及應(yīng)用問題探究》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在工程資料-天天文庫。
1、基于Petri網(wǎng)工作流網(wǎng)模型研究及應(yīng)用問題探究【摘要】文章介紹了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)。近年來,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)在庫所和變遷的基礎(chǔ)上,工作流網(wǎng)為電子政務(wù)系統(tǒng)流程構(gòu)造的控制關(guān)系有四種:串行、并行、選擇、循環(huán)。3.一個(gè)應(yīng)用問題分析網(wǎng)上電子政務(wù)系統(tǒng)中的公文處理部分實(shí)際上是公文在各個(gè)部門之間進(jìn)行流轉(zhuǎn),非常適合用工作流網(wǎng)的技術(shù)來實(shí)現(xiàn)。下面舉例分析公文處理中發(fā)文部分的工作流網(wǎng)建模、分析及相應(yīng)的實(shí)現(xiàn)技術(shù)。發(fā)文管理的業(yè)務(wù)流程為:用戶在公文起草數(shù)據(jù)庫中
3、起草公文,提交并進(jìn)入流程后,文件在發(fā)文流程中流轉(zhuǎn),其中文書人員可以根據(jù)發(fā)文需要讓文件進(jìn)入串行或并行的會(huì)簽流程,流程結(jié)束后可以形成正式文件并蓋章,也可以返回到起草人,在整個(gè)過程中,審批人員可以隨時(shí)查看、打印流程跟蹤表。該模型顯示了發(fā)文過程中發(fā)生的操作和狀態(tài)的改變。通過工作流網(wǎng)的定義分析一下該模型的正確性:(2)每個(gè)節(jié)點(diǎn)x^PUT都屬于從到的一條路徑上。(3)該模型運(yùn)行過程中沒有死鎖,每個(gè)任務(wù)都能被執(zhí)行到。所以從理論上分析該模型是正確的,符合工作流網(wǎng)的定義,但從實(shí)際情況考慮,卻發(fā)現(xiàn)邏輯上的錯(cuò)誤。在變遷的執(zhí)行過程中
4、出現(xiàn)了并行結(jié)構(gòu)的”與連接”(AND-join),校對(duì)修改的任務(wù)出現(xiàn)了兩個(gè)輸入位置,=(,),要求,都存在令牌時(shí),變遷才能發(fā)生,這無疑是錯(cuò)誤的。實(shí)際的情況是和中任何一個(gè)令牌存在,即文件起草結(jié)束,或核稿未通過,都應(yīng)該進(jìn)入校對(duì)修改狀態(tài)。對(duì)上面模型修改如圖2。增加了一個(gè)變遷(返稿),將核稿未通過狀態(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é)束語文章重點(diǎn)介紹了基于Petri網(wǎng)的工作流網(wǎng)模型技術(shù),并結(jié)合具體模型進(jìn)行了性能分析。結(jié)合在電子政務(wù)系統(tǒng)中公文處理的實(shí)際環(huán)境,對(duì)發(fā)文流程的工作流網(wǎng)建模與分析過程進(jìn)行了說明。在一個(gè)復(fù)雜的辦公自動(dòng)化系統(tǒng)中,通過工作流網(wǎng)的建模方式對(duì)流程進(jìn)行動(dòng)態(tài)模擬,應(yīng)用可達(dá)樹法、簡(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).