@inproceedings{975dbb1c0805450e88285c0acc8283fe,
title = "Conformance checking in the large : partitioning and topology",
abstract = "The torrents of event data generated by today{\textquoteright}s systems are an important enabler for process mining. However, at the same time, the size and variability of the resulting event logs are challenging for today{\textquoteright}s process mining techniques. This paper focuses on {"}conformance checking in the large{"} and presents a novel decomposition technique that partitions larger processes into sets of subprocesses that can be analyzed more easily. The resulting topological representation of the partitioning can be used to localize conformance problems. Moreover, we provide techniques to refine the decomposition such that similar process fragments are not considered twice during conformance analysis. All the techniques have been implemented in ProM, and experimental results are provided.",
author = "J. Munoz-Gama and J. Carmona and {Aalst, van der}, W.M.P.",
year = "2013",
doi = "10.1007/978-3-642-40176-3_11",
language = "English",
isbn = "978-3-642-40175-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "130--145",
editor = "F. Daniel and J. Wang and B. Weber",
booktitle = "Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)",
address = "Germany",
}