Lecture BPI 4 - Introduction to Process Discovery