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网中引入虚假交互。所提出的框架已通过原型实现。