逻辑Petri网非自由选择结构模型修复方法

Repair Models Containing Non-Free-Choice Structures Based on Logic Petri Nets

业务过程通常在信息系统中实现之前由过程模型描述和验证。过程模型可以描述系统的特性,并通过向系统设计者提供反馈的功能来验证系统的正确性。当系统生成的事件日志中的活动与过程模型中的活动存在偏差时,需修复现有模型。对于含非自由选择结构的模型,尽管事件日志中的活动可以由现有的修复方法而得到重放,但修复后的模型往往会与原模型在结构上有很大的不同,此外,还会导致模型精确度不高且模型结构复杂。因此本文提出一种基于逻辑Petri网新的模型修复方法。首先给出了变迁对和后继关系的概念,构造出后继关系矩阵。接着通过遍历变迁对来确定模型需要修复的位置。最后通过实验验证方法的正确性和可行性。

Business processes are usually described and validated by process models before they are implemented in information systems.The process model can describe the characteristics of the system and verify the correctness of the system by providing feedback to the system designer.When the activities in the event log generated by the system deviate from those in the process model,the existing model needs to be repaired.For models with non-free choice structure,although event logs can be replayed by existing repair methods,the repaired model is often very different from the original model in structure,In addition,it will lead to low precision and complex structure of the model.Therefore,a new model repair method based on logical Petri net is proposed in this paper.Firstly,the concept of transition pair and succession relation is given,and the succession relation matrix is constructed.Then the location of the model to be repaired is determined by traversing the transition pairs.Finally,the correctness and feasibility of the method are verified by experiments.