2AMI10 (2020-GS1) Foundations of Process Mining