The paper addresses the need for object-centric process mining techniques that can accurately reflect the nature of real-world processes involving interdependent objects. It introduces a new formalism called object-centric Petri nets with identifiers (OPIDs) that combines the key modeling features of two existing approaches:
The authors define alignments and the conformance checking task for OPIDs, and propose a conformance checking approach based on an encoding in satisfiability modulo theories (SMT). This allows them to effectively overcome the shortcomings of earlier work, which was unable to track object identity and object dependencies.
The paper first provides background on object-centric event logs and reviews related work on object-centric process modeling. It then formally defines OPIDs and the notion of alignments for this setting. The core of the paper is the encoding of the conformance checking problem as an SMT problem, which is shown to be correct and feasible through an implementation and experimental evaluation.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Alessandro G... at arxiv.org 04-08-2024
https://arxiv.org/pdf/2312.08537.pdfDeeper Inquiries