RWTH Process Mining Lecture 4: Introduction to Process Discovery