M-viz: A Tool for the Step-by-step Visualization of the Inductive Miner. - Florian Lang 004; Din Hida; Yingjie Bian; Adrian Rebmann; Han van der Aa (ICPM Doctoral Consortium / Demo, 2023)