2AMI10 (2023-GS1) Foundations of Process Mining