資源描述：
《基于Petri網(wǎng)的研究生培養(yǎng)工作流模型.pdf》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫(kù)。
1、第32卷第1期合肥工業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版)Vol.32No.12009年1月JOURNALOFHEFEIUNIVERSITYOFTECHNOLOGYJan.2009基于Petri網(wǎng)的研究生培養(yǎng)工作流模型程建軍(合肥工業(yè)大學(xué)計(jì)算機(jī)與信息學(xué)院,安徽合肥230009)摘要:工作流技術(shù)作為實(shí)現(xiàn)過程集成管理的有效手段,廣泛應(yīng)用于各種場(chǎng)合,Petri網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的系統(tǒng)模型,它既有嚴(yán)格的數(shù)學(xué)定義,又有直觀的圖形表示,該文簡(jiǎn)要介紹了工作流、工作流模型以及Petri網(wǎng)的理論,然后對(duì)研究生培養(yǎng)過程進(jìn)行了基于Petri網(wǎng)的模型設(shè)計(jì),并對(duì)模型進(jìn)行了化簡(jiǎn)和合理性證明,
2、結(jié)果表明,利用Petri網(wǎng)能夠?qū)ρ芯可囵B(yǎng)過程進(jìn)行建模和優(yōu)化設(shè)計(jì)。關(guān)鍵詞:Petri網(wǎng);工作流模型;化簡(jiǎn)中圖分類號(hào):TP391文獻(xiàn)標(biāo)識(shí)碼:A文章編號(hào):100325060(2009)0120078204GraduatecultivationworkflowmodelbasedonPetrinetsCHENGJian2jun(SchoolofComputerandInformation,HefeiUniversityofTechnology,Hefei230009,China)Abstract:Theworkflowtechnologyisaneffectiveme
3、asureofrealizingprocessintegrationmanagementandwidelyappliedonmanyoccasions.ThePetrinetisakindofsystemmodelthatissuitabletode2scribeasynchronousandconcurrentphenomena,andithasnotonlystrictmathematicdefinition,butalsodirectgraphicexpression.Abriefintroductionoftheworkflow,workflowmode
4、landPetrinetismadeinthispaper,aworkflowmodelofgraduatecultivationbasedonthePetrinetisdesignedandsimplified,anditsrationalityisalsoproved.ItisindicatedthatmodelingtheworkflowofgraduatecultivationandoptimizingtheworkflowdesigncanbemadewiththePetrinet.Keywords:Petrinet;workflowmodel;sim
5、plification如業(yè)務(wù)過程的開始和終止條件、各個(gè)工作環(huán)節(jié)及0引言相互之間的控制流動(dòng)與數(shù)據(jù)流動(dòng)關(guān)系等。工作流工作流,可以簡(jiǎn)單地理解為工作任務(wù)在多個(gè)模型是整個(gè)工作流管理系統(tǒng)的基礎(chǔ)。人或者單位之間的流轉(zhuǎn)。根據(jù)國(guó)際工作流管理聯(lián)到目前為止,人們已經(jīng)提出了不少的工作流盟的定義,工作流就是“一類能夠完全或者部分建模方法,基于Petri網(wǎng)的建模方法就是其中的自動(dòng)執(zhí)行的經(jīng)營(yíng)過程,它根據(jù)一系列過程規(guī)則、文一種。本文在基于Petri網(wǎng)的工作流模型研究的檔、信息或任務(wù)能夠在不同的執(zhí)行者之間進(jìn)行傳基礎(chǔ)上,對(duì)研究生培養(yǎng)工作流進(jìn)行了建模設(shè)計(jì)和[1,2]遞與執(zhí)行”。合理化證明。工作流管理
6、系統(tǒng)是指用于定義、實(shí)現(xiàn)和管理1Petri網(wǎng)和工作流網(wǎng)工作流運(yùn)行的一套軟件系統(tǒng),它與工作流執(zhí)行者[3](人、應(yīng)用)交互,推進(jìn)工作流實(shí)例的執(zhí)行,并監(jiān)控Petri網(wǎng)具有易于理解的圖形特征,使得運(yùn)工作流的運(yùn)行狀態(tài)。用Petri網(wǎng)建立的模型簡(jiǎn)單明了,易于理解,便于工作流模型是業(yè)務(wù)過程的計(jì)算機(jī)化的形式表參與設(shè)計(jì)人員之間的交流。另外,由于Petri網(wǎng)示,它定義的是過程運(yùn)行中會(huì)涉及到的各種參數(shù),具有嚴(yán)密的數(shù)學(xué)基礎(chǔ),使得它可以建立數(shù)學(xué)模型收稿日期:2008203213基金項(xiàng)目;合肥工業(yè)大學(xué)科學(xué)研究發(fā)展基金資助項(xiàng)目(070503F)作者簡(jiǎn)介:程建軍(1982-),男,安徽潛山人,合
7、肥工業(yè)大學(xué)碩士生.第1期程建軍:基于Petri網(wǎng)的研究生培養(yǎng)工作流模型79來描述系統(tǒng)的行為。通過Petri網(wǎng)還可以檢驗(yàn)所須具有一個(gè)輸入庫(kù)所(i)和一個(gè)輸出庫(kù)所(o),進(jìn)建立的模型的正確性。入輸入庫(kù)所的標(biāo)記代表著一個(gè)過程實(shí)例的開始,111經(jīng)典Petri網(wǎng)而進(jìn)入輸出庫(kù)所的標(biāo)記則意味著一個(gè)過程實(shí)例的[4]定義1經(jīng)典的Petri網(wǎng)是一個(gè)滿足如下結(jié)束。第3個(gè)條件是為了消除“懸著的庫(kù)所和變充要條件的三元組N=(P,T,F):遷”(指該庫(kù)所或變遷不在i到o的路徑上),所有(1)P∪T≠Φ(網(wǎng)非空);的庫(kù)所和變遷都位于庫(kù)所i到o的一條路徑上。(2)P∩T=Φ(二元性);2研究生
8、培養(yǎng)過程建模(3)F∈(
