2AMI10 (2026-GS1) Foundations of Process Mining