Business Process Mining Based on Simulated Annealing · Study