A Step-by-Step Introduction to Process MiningProf. Dr. Mathias Weske, Prof. Dr. Henrik Leopold