This book presents techniques for process discovery, conformance checking and enhancement. For process discovery, it introduces the Inductive Miner framework: a recursive skeleton for discovery techniques that in itself provides several guarantees.

The framework is instantiated in several concrete discovery techniques, each of which targets a specific challenge of process discovery, such as incompleteness of information or noisy behavior. For conformance checking, it introduces the Projected Conformance Checking framework, which focuses on speed, but nevertheless provides several...