Visual Miner is a powerful interactive tool for exploring and editing models. The Inductive Miner algorithm is used to automatically discover the initial model, and the project is sometimes referred to as Inductive Visual Miner, including in the ProM plugin listing.
More detail on the Visual Miner can be found at https://leemans.ch/visualminer/home/.