Process mining algorithm based on synchronized-manager
scientific article; zbMATH DE number 5613555