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

编号 zgly0000663113

文献类型 期刊论文

文献题名 基于CTMC的工作流网过程定义性能分析

作者 袁飞云  封蕾  夏清国 

作者单位 榆林学院信息工程学院  西北工业大学计算机学院 

母体文献 现代电子技术 

年卷期 2011,34(6)

页码 62-65

年份 2011 

分类号 TN919-34 TP391.1 

关键词 工作流网  CTMC  性能分析  Petri网 

文摘内容 为了达到简化分析过程定义的运行时间复杂度的目的, 采用构造工作流网过程定义(-PN, i)覆盖图而获得连续时间SPN(PN, i)对应的CTMC状态空间的分析方法, 计算出(PN, i)中每个可达标识的稳定概率P[Mi], 得到过程定义的平均运行时间T。该方法只与过程定义中变迁服务时间和工作流网的过程逻辑有关, 克服了涉及工作流管理系统和工作流执行引擎选择的局限性。通过实例验证了该分析方法的优越性, 并得出过程定义时间性能分析方法。