Approximate Computation of Alignments of Business Processes Through Relaxation Labelling · Study