2IMI35 (2019-GS1) Introduction to process mining