Business Process Management Forum: BPM 2023 Forum, Utrecht, The Netherlands, September 11–15, 2023, Proceedings

Process Mining Techniques in Business Environments: Theoretical Aspects, Algorithms, Techniques and Open Challenges in Process Mining