Object-centric process discovery (OCPD) constitutes a paradigm shift in process mining. Instead of assuming a single case notion present in the event log, OCPD can handle events without a single case notion, but that are instead related to a collection of objects each having a certain type. The object types constitute multiple, interacting case notions. The output of OCPD is an object-centric Petri net, i.e. a Petri net with object-typed places, that represents the parallel execution of multiple execution flows corresponding to object types. Similar to classical process discovery, where we aim for behaviorally sound process models as a result, in OCPD, we aim for soundness of the resulting object-centric Petri nets. However, the existing OCPD approach can result in violations of soundness. As we will show, one violation arises for multiple interacting object types with loops that arise in collaborative systems. This paper proposes an extended OCPD approach and proves that it does not suffer from this violation of soundness of the resulting object-centric Petri nets. We also show how we prevent the OCPD approach from introducing spurious interactions in the discovered object-centric Petri net. The proposed framework is prototypically implemented.
翻译:本文提出了一种扩展的基于对象的流程发现(OCPD)方法,并证明它不会导致所得到的基于对象的Petri网的不可靠性。我们还展示了如何防止OCPD方法在发现的基于对象的Petri网中引入虚假交互。本文还实现了该框架的原型。OCPD构成了流程挖掘中的范式转变。与假设在事件日志中存在单个案例概念不同,OCPD可以处理没有单个案例概念,但与每个具有一定类型的对象相关的事件,对象类型构成了多个相互作用的案例概念。OCPD的输出是一个基于对象的Petri网,即一个具有对象类型位置的Petri网,它表示与对象类型相应的多个执行流的并行执行。与经典的过程发现类似,我们的目标是得到行为良好的流程模型,而在OCPD中,我们的目标是基于对象的Petri网的完整性。然而,现有的OCPD方法可能会导致完整性违规。如我们所示,一个违规是在协作系统中出现多个交互对象类型的循环时产生的。