資源描述：
《基于著色時間petri網(wǎng)的工作流模型及其性能分析》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、第18卷第6期計算機輔助設(shè)計與圖形學(xué)學(xué)報Vol118,No162006年6月JOURNALOFCOMPUTER2AIDEDDESIGN&COMPUTERGRAPHICSJune,2006基于著色時間Petri網(wǎng)的工作流模型及其性能分析李濤鐘詩勝(哈爾濱工業(yè)大學(xué)機電工程學(xué)院哈爾濱150001)(litaoforest@1631com)摘要為了將著色時間Petri網(wǎng)的并行式工作流模型應(yīng)用于產(chǎn)品數(shù)據(jù)管理系統(tǒng),在工作流建模階段對工作流的靜態(tài)和動態(tài)結(jié)構(gòu)性能加以分析1采用活動掃描法作為工作流系統(tǒng)行為的仿真策略,研究了工作流模型到著色時間工作流網(wǎng)模型的轉(zhuǎn)換過程1給出了用可達圖檢驗工作流程中是否
2、存在死鎖和陷阱的判定定理1以一種循環(huán)組件的或分支跳出并行流程的審批工作流為例,對論述的定理和方法進行了分析和驗證1關(guān)鍵詞產(chǎn)品數(shù)據(jù)管理;工作流管理;著色時間工作流網(wǎng);可達圖;性能分析中圖法分類號TP166WorkflowModelwithColoredTimedPetriNetandItsPerformanceAnalysisLiTaoZhongShisheng(SchoolofMechatronicsEngineering,HarbinInstituteofTechnology,Harbin150001)AbstractToapplyconcurrentworkflowmodel
3、withcoloredtimedPetrinettoproductdatamanagementsystem,thestaticanddynamicstructuralperformanceofworkflowmodelatmodelingphaseisanalyzed1Activityscanningisadoptedasasimulationstrategytoassessthebehaviorofworkflowsystem1Thewaytotransformworkflowmodelintocoloredtimedworkflownetmodelisstudied1Ther
4、ulesforverifyingwhetherthereexistdeadlocksortrapsinconcurrentworkflowaredetectedthroughreachabilitygraph1Aconcurrentandloopedexamine2and2approveworkflowwithitscurrencycontrolmodulehavingor2splitsjumpingoutoffunctionisillustratedasanexampletoanalyzeandvalidatethepresentedapproaches1Keywordspro
5、ductdatamanagement;workflowmanagement;coloredtimedworkflownet;reachabilitygraph;performanceanalysis間,本文除了采用時間Petri網(wǎng),再考慮在實際應(yīng)用0引言中,一個工作流應(yīng)該可以提交多項任務(wù),一項任務(wù)在工作流中可能處于某一個工作狀態(tài)(如產(chǎn)品的結(jié)構(gòu)目前已出現(xiàn)了多種有代表性的工作流模型,如設(shè)計狀態(tài)),而另一項任務(wù)在工作流中可能處于另一基于活動網(wǎng)絡(luò)的工作流模型———FlowMark,基于語個工作狀態(tài)(如設(shè)計審核狀態(tài))1這樣如果仍沿用時言行為理論的工作流模型———ActionWorkflow
6、,基間Petri網(wǎng),設(shè)計的模型將變得非常龐大和復(fù)雜,因于Petri網(wǎng)的工作流模型———WF2net等1當(dāng)考慮的此本文系統(tǒng)采用了著色時間Petri網(wǎng)1著色時間工作流過程較為復(fù)雜,如存在并發(fā)、沖突等情況時,Petri網(wǎng)為網(wǎng)中的每一個庫所定義了一個托肯色彩[1]采用高層次的形式描述模型Petri網(wǎng)等更為實用1集合,為每一個變遷定義了一個動作色彩集合,它不由于工作流每一個過程的發(fā)生總要經(jīng)歷一定的時但可以描述更復(fù)雜的系統(tǒng),還可使得Petri網(wǎng)系統(tǒng)收稿日期:2005-05-20;修回日期:2005-12-26基金項目:歐盟科研項目(ASIPB72301P3152299P72553);黑龍江省
7、科技攻關(guān)項目(2005G3795200);哈爾濱市科技攻關(guān)項目(2005AA1CG06129)6期李濤等:基于著色時間Petri網(wǎng)的工作流模型及其性能分析825簡潔明了1已有的一些工作流管理系統(tǒng)的運行往往整數(shù)對,是不固定時延,表示變遷tj使能后,由變遷tj自身側(cè)重于工作流模型的定義和執(zhí)行管理,對工作流模確定的、可觸發(fā)的時間范圍,即活動的可執(zhí)行時間范圍,k=型的分析不全面1,?,vj1,沒有考慮到在實際應(yīng)用中應(yīng)該對[224]M0:P→N0為初始標(biāo)識1在圖形上,庫所用一個圓圈表用戶設(shè)
