Exhaustive Model Identification on Process Mining Topics: Business Process Management and Engineering; Enterprise Systems Modelling and Architecture In Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 449-456, 2025 , Porto, Portugal