Josep Carmona is an associate professor at the Computer Science Department of the Universitat Politècnica de Catalunya, Spain. He has taught process mining to students and practitioners for a decade in several countries. He is also an active researcher in process mining, business process mangament, formal methods and data science. He is involved in several open-source projects related to these fields. Boudewijn van Dongen is chair of the process analytics research group at the Department of Mathematics and Computer Science of the Eindhoven University of Technology. He has been an active researcher in the field of process mining since the first papers on the topic appeared in the late nineties and today he focusses on both fundamental questions in the area of conformance checking as well as the engineering aspects thereof. His research group maintains the process mining framework ProM which allows students, researchers and practitionersworldwide to contribute to state-of-the-art developments in process mining.Andreas Solti is a post doctoral researcher with the Institute for Information Business at the Vienna University of Economics and Business (Austria). His research interests are in the area process mining, process analytics, optimization, and sensor data analytics. He is also interested in adaptive learning technologies that can be supported with machine learning and natural language processing.Matthias Weidlich heads a research group at Humboldt-Universität zu Berlin, Germany. His research interests include process-oriented and event-driven information systems. Specifically, his group develops formal methods for the specification and verification of such systems, their analysis based on event data, and techniques that optimise their run-time behaviour.

• 1 Introduction to Conformance Checking.- 2 The Basics of Processes and Models.- 3 Quality Dimensions for Relating Processes and Models.- 4 A First Take on Conformance Checking.- 5 Preliminaries to Conformance Checking.- 6 Preparation.- 7 Aligning Event Data and Process Models.- 8 Interpreting Alignments.- 9 Advanced Alignment Techniques.- 10 Understanding Processes.- 11 Improving Processes Using Conformance Checking.- 12 Conformance Checking Software.- 13 Epilogue.- References.- Index.

Josep Carmona is an associate professor at the Computer Science Department of the Universitat Politècnica de Catalunya, Spain. He has taught process mining to students and practitioners for a decade in several countries. He is also an active researcher in process mining, business process mangament, formal methods and data science. He is involved in several open-source projects related to these fields. Boudewijn van Dongen is chair of the process analytics research group at the Department of Mathematics and Computer Science of the Eindhoven University of Technology. He has been an active researcher in the field of process mining since the first papers on the topic appeared in the late nineties and today he focusses on both fundamental questions in the area of conformance checking as well as the engineering aspects thereof. His research group maintains the process mining framework ProM which allows students, researchers and practitionersworldwide to contribute to state-of-the-art developments in process mining.Andreas Solti is a post doctoral researcher with the Institute for Information Business at the Vienna University of Economics and Business (Austria). His research interests are in the area process mining, process analytics, optimization, and sensor data analytics. He is also interested in adaptive learning technologies that can be supported with machine learning and natural language processing.Matthias Weidlich heads a research group at Humboldt-Universität zu Berlin, Germany. His research interests include process-oriented and event-driven information systems. Specifically, his group develops formal methods for the specification and verification of such systems, their analysis based on event data, and techniques that optimise their run-time behaviour.

• 1 Introduction to Conformance Checking.- 2 The Basics of Processes and Models.- 3 Quality Dimensions for Relating Processes and Models.- 4 A First Take on Conformance Checking.- 5 Preliminaries to Conformance Checking.- 6 Preparation.- 7 Aligning Event Data and Process Models.- 8 Interpreting Alignments.- 9 Advanced Alignment Techniques.- 10 Understanding Processes.- 11 Improving Processes Using Conformance Checking.- 12 Conformance Checking Software.- 13 Epilogue.- References.- Index.