Computing Alignments for Partially-ordered Traces Through Petri Net Unfoldings

Ariba Siddiqui, Wil M. P. van der Aalst, Daniel Schuster

Conformance checking techniques aim to provide diagnostics on the conformity between process models and event data. Conventional methods, such as trace alignments, assume strict to…