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）构成了过程挖掘领域的范式转变。与假设事件日志中存在单一案例概念不同，OCPD能够处理不依赖单一案例概念的事件，这些事件与一组具有特定类型的对象相关联。对象类型构成了多个相互作用的案例概念。OCPD的输出是对象中心Petri网，即具有对象类型化库所的Petri网，它表示与对象类型对应的多个执行流程的并行执行。类似于经典过程发现中追求行为健全的过程模型，在OCPD中，我们同样追求所得对象中心Petri网的健全性。然而，现有的OCPD方法可能导致健全性违反。如我们所示，一种违反情况出现在协同系统中具有循环的多个相互作用对象类型中。本文提出了一种扩展的OCPD方法，并证明该方法不会导致所得对象中心Petri网出现此类健全性违反。我们还展示了如何防止OCPD方法在发现的对象中心Petri网中引入虚假交互。所提出的框架已进行了原型实现。