防止协作系统中具有循环对象交互的不健全过程模型的对象中心发现：扩展版本
Preventing Object-centric Discovery of Unsound Process Models for Object Interactions with Loops in Collaborative Systems: Extended Version
AI总结：
本文提出了一种扩展的对象中心过程发现（OCPD）方法，解决了协作系统中具有循环的多个相互作用对象类型导致的对象中心Petri网健全性违规问题，并防止引入虚假交互。
摘要：
对象中心过程发现（OCPD）构成了过程挖掘领域的一次范式转变。OCPD不再假设事件日志中存在单一案例概念，而是能够处理没有单一案例概念的事件，这些事件与一组具有特定类型的对象相关联。对象类型构成了多个相互作用的案例概念。OCPD的输出是一个对象中心Petri网，即一个具有对象类型库所的Petri网，表示对应于对象类型的多个执行流的并行执行。类似于经典过程发现中我们期望得到行为健全的过程模型，在OCPD中，我们也期望生成的对象中心Petri网具有健全性。然而，现有的OCPD方法可能导致健全性违规。如我们将展示的，一种违规情况出现在协作系统中出现的具有循环的多个相互作用对象类型中。本文提出了一种扩展的OCPD方法，并证明它不会遭受这种生成的对象中心Petri网健全性违规的问题。我们还展示了如何防止OCPD方法在发现的对象中心Petri网中引入虚假交互。所提出的框架已进行了原型实现。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
