1. Adriansyah, A., van Dongen, B., van der Aalst, W.: Conformance checking using cost-based fitness analysis. In: 2011 IEEE 15th International Enterprise Distributed Object Computing Conference, pp. 55–64 (2011)
2. Augusto, A., Armas-Cervantes, A., Conforti, R., Dumas, M., Rosa, M.L.: Measuring fitness and precision of automatically discovered process models: a principled and scalable approach. IEEE Trans. Knowl. Data Eng. 34(4), 1870–1888 (2022)
3. Buijs, J.: Flexible evolutionary algorithms for mining structured process models. Technische Universiteit Eindhoven. 57 (2014)
4. Daciuk, J., Mihov, S., Watson, B.W., Watson, R.E.: Incremental construction of minimal acyclic finite-state automata. Comput. Linguist. 26(1), 3–16 (2000)
5. Esparza, J., Blondin, M.: Automata Theory: An Algorithmic Approach. MIT Press, Cambridge (2023)