Optimal alignments between large event logs and process models over distributed systems: An approach based on Petri nets · Study