基于行为轮廓的系统故障变化域定位方法研究

摘要

在业务流程管理中,系统的故障是系统行为发生变化的重要原因,如何定位系统故障的影响范围是业务流系统的一项重要研究内容。本文基于Petri网的行为轮廓理论,对自由选择网进行分析和研究,通过捕捉系统行为的事件轨迹集合,对比源模型中变迁间的弱序关系,提出自由选择网故障变化域定位算法AFCRGL;通过分析流程中的行为变化,进一步精确寻找变化域的位置,可以控制并降低变化域对流程模型整体的影响。最后以一个柔性制造Petri网系统为例,验证本文提出方法的有效性。