1. van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. DMKD 2(2), 182–192 (2012)
2. van der Aalst, W.: Academic view: development of the process mining discipline. In: Reinkemeyer, L. (eds.) Process Mining in Action, pp. 181–196. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-40172-6_21
3. van der Aalst, W.: Process Mining: Data Science in Action, 2nd edn. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49851-4
4. Marsan, M.A., et al.: The effect of execution policies on the semantics and analysis of stochastic Petri nets. TSE 15(7), 832–846 (1989)
5. Alharbi, A.M.: Unsupervised abstraction for reducing the complexity of healthcare process models. Ph.D. thesis, University of Leeds, July 2019