Exact and Approximated Log Alignments for Processes with Inter-case Dependencies

Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen

The execution of different cases of a process is often restricted by inter-case dependencies through e.g., queueing or shared resources. Various high-level Petri net formalisms hav…