Josep Carmona

TL;DR: This manifesto hopes to serve as a guide for software developers, scientists, consultants, business managers, and end-users to increase the maturity of process mining as a new tool to improve the design, control, and support of operational business processes.

TL;DR: Providing the core building blocks of conformance checking and describing its main applications, this book mainly addresses students specializing in business process management, researchers entering process mining and conformance Checking for the first time, and advanced professionals whose work involves process evaluation, modelling and optimization.

TL;DR: A novel measure for precision is proposed, based on the simple idea of counting these situations were the model deviates from the log, and a log-based traversal of the model that avoids inspecting its whole behavior is presented.

TL;DR: An approach to measure the precision of a process model with respect to an event log is proposed, which first align model and log thus making the approach more robust, even in case of deviations.

TL;DR: A novel decomposition technique is presented that partitions larger process models and event logs into smaller parts that can be analyzed independently and helps to speed up conformance checking, but also provides improved diagnostics.