Exhaustive Model Identification on Process Mining. - Takeharu Mitsuda; Hiroyuki Nakagawa; Haruhiko Kaiya; Hironori Takeuchi; Sinpei Ogata; Tatsuhiro Tsuchiya (ENASE, 2025)