2AMI10 (2021-GS1) Foundations of Process Mining