基于Petri网可行迹的系统变化定位方法研究

在业务流程管理中,系统行为改变是系统发生变化的重要原因,如何定位系统变化位置是业务流程一项重要研究内容。基于Petri网迹的可行性,对工作流网系统进行分析和研究,通过捕捉系统行为的事件轨迹,对比源过程模型变迁间的最小后继关系,精确检测并诊断网系统发生变化的位置;最后,以一个自助售票Petri网系统为例,验证文中所提方法的有效性。