Abstract: This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. It provides the core building blocks of this discipline, and subsequently describes its main applications.