This repository contains data that was used to carry out experiments as well as the results of these experiments. File names are presented in the following format: LM2-[repair method]-[b/f]-[number of experiment], where: - repair method may take values "Greedy" or "Smart". "Greedy" means that the repair method of the model was greedy algorithm working with maximal decomposition. "Smart" means that the repair method was greedy algorithm as well, with the difference of decomposition method being the developed one. - "b" (broken) means that the model has not undergone repair. "f" (fixed) means that the file presents a repaired model (the one which fits the initial log perfectly). - number of experiment ranging from 1 to 10. This repository also contains the following files: - LM2-CL.xes - the initial LM2 model log; - LM2-CM.pnml - the initial LM2 model; - LM2-Greedy-data.txt - auto-generated measurements of greedy approach performance; - LM2-Smart-data.txt - auto-generated measurements of smart (developed) approach perfomance.