2AMI10 (2024-GS1) Foundations of Process Mining