1. van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. WIREs Data Mining Knowl. Discov. 2(2), 182–192 (2012)
2. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Lecture Notes in Business Information Processing;A Burke,2021
4. Camargo, M., Dumas, M., González, O.: Automated discovery of business process simulation models from event logs. Decis. Support Syst. 134, 113284 (2020). https://doi.org/10.1016/j.dss.2020.113284
5. Camargo, M., Dumas, M., Rojas, O.G.: SIMOD: a tool for automated discovery of business process simulation models. In: Proceedings of the Dissertation Award, Doctoral Consortium, and Demonstration Track at BPM 2019 co-located with 17th International Conference on Business Process Management, BPM 2019, Vienna, Austria, 1–6 September 2019. CEUR Workshop Proceedings, vol. 2420, pp. 139–143. CEUR-WS.org (2019). https://ceur-ws.org/Vol-2420/paperDT5.pdf