基于CTMC的工作流网过程定义性能分析探究.pdfVIP

2011年 3月 15日 现代电子技术 Mar．2O11 第 34卷第 6期 ModernElectronicsTechnique Vo1．34NO．6 基于 CTMC的工作流网过程定义性能分析 袁飞云 ，封 蕾 ，夏清 国 (1．榆林学院 信息工程学院，陕西 榆林 719000；2．西北工业大学 计算机学院，陕西 西安 710072) 摘 要 ：为 了达到简化分析过程定义的运行时间复杂度的 目的，采用构造工作流 网过程定义 (PN，)覆盖图而获得连续 时间sPN(PN，)对应的CTMC状态空间的分析方法，计算 出(PN，)中每个可达标识的稳定概率 PEM,]，得到过程定义的平 均运行时间 T。该方法只与过程定义中变迁服务 时间和工作流网的过程逻辑有关 ，克服 了涉及工作流管理系统和工作流执 行引擎选择 的局限性 。通过实例验证 了该分析方法的优越性，并得 出过程定义时间性能分析方法。 关键词 ：工作流网；CTMC；性能分析 ；Petri网 中图分类号 ：TN919-34；TP391．1 文献标识码 ：A 文章编号 ：1004—373X(2011)06—0062—04 PerformanceAnalysisofW f-NetProcessDefinitionBasedonCTMC YUAN Fei—yun ，FENG Lei，XIA Qing—guo (1．CollegeofInformationEngineering，YulinUniversity，Yulin7l9000。China； 2．CollegeofComputer，NorthwesternPolyteehnicalUniversity，Xi’an710072．China) Abstract：Inordertosimplifytheruntimecomplexityofanalyzingtheprocessdefinition inthesystem ，theworkflow net (Wf-Net)processdefinition(PN ，)overlaywasstructuredtOobtaintheanalysismethodofCTMCstatespacecorresponding tOcontinuoustimeSPN(PN，)，calculatethestabilityprobability(P[M ])foreachreachablemarkingin(PN，)，andobtain theaverageruntimeToftheprocessdefinition．ThismethodisrelatedonlytOthetwokeyfactors：changesoftheservicetime intheprocessdefinitionandtheprocesslogicofworkflow net．Itovercamethelim itationoftheworkflow managementsystem andtheworkflow executionengines．Thesuperiorityofthismqthodwasconfirmedbyexamples．Thetimeperformanceanaly— sismethodforprocessdefinitionwasobtained． Keywords：workflow net(W f-Net)；CTM C；performanceanalysis；Petrinet 在时刻 t的状态 。如果指标集 丁是一个可数集 ，则称 X 0 引 言