Process mining algorithm based on synchronized-manager