5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.DS2024
An Invertible State Space for Process Trees
Gero Kolhof, Sebastiaan J. van Zelst
Process models are, like event data, first-class citizens in most process mining approaches. Several process modeling formalisms have been proposed and used, e.g., Petri nets, BPMN…
cs.SE2022★ 5 cited
Conformance Checking for Trace Fragments Using Infix and Postfix Alignments
Daniel Schuster, Niklas Föcking, Sebastiaan J. van Zelst +1
Conformance checking deals with collating modeled process behavior with observed process behavior recorded in event data. Alignments are a state-of-the-art technique to detect, loc…