Robust Process Mining with Guarantees

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 guarantees, such as that for certain classes of models, it can decide language equivalence. For enhancement, it introduces the Inductive visual Miner, a well-polished end-user focused tool that includes process discovery, conformance checking and that can visualize performance on a discovered model, all without any user input.

Presents techniques for process discovery, conformance checking and process enhancement Explores the boundaries of what any process discovery technique could do Based on the author's PhD thesis, which won the "Best Process Mining Dissertation Award" in 2018

Inhalt
Introduction.- Preliminaries.- Process Mining.- Recursive Process Discovery.- Abstractions.- Discovery Algorithms.- Conformance Checking.- Evaluation.- Enhancement and inductive visual miner.- Conclusion.- index.