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