N-out-of-M patterns in alignments

Aligning structured process models to event logs is a far from trivial task. In complex modelling languages, inclusive OR-split/join patterns play an important role and they are known to be notoriously difficult to align to event logs due to their large state-spaces. The known Petri net translations of OR-joins rely either on token coloring or Read More …