Abstract: Highlights•Approximate multi-perspective alignments based on trace encodings.•Formal framework to compute approximate alignments against Data Petri nets.•Extension dealing with trace probabilities.•Experimental evaluation witnessing efficiency and accuracy, also in the presence of noise.
Loading