1 citations · 1 across the 2 of their papers we have counts for
3 papers
Computational Complexity of Alignments
Christopher T. Schwanen, Wied Pakusa, Wil M. P. van der Aalst
In process mining, alignments quantify the degree of deviation between an observed event trace and a business process model and constitute the most important conformance checking t…
Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst
A central decision problem in Petri net theory is reachability asking whether a given marking can be reached from the initial marking. Related is the covering problem (or sub-marki…
OCEL (Object-Centric Event Log) 2.0 Specification
Alessandro Berti, Istvan Koren, Jan Niklas Adams +10
Object-Centric Event Logs (OCELs) form the basis for Object-Centric Process Mining (OCPM). OCEL 1.0 was first released in 2020 and triggered the development of a range of OCPM tech…