2IMI35 (2018-GS1) Introduction to process mining