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.LO2020
Scalable Online Conformance Checking Using Incremental Prefix-Alignment Computation
Daniel Schuster, Gero J. Kolhof
Conformance checking techniques aim to collate observed process behavior with normative/modeled process models. The majority of existing approaches focuses on completed process exe…