2AMI10 (2022-GS1) Foundations of Process Mining