Which of the following statements are true? (note that multiple answers can be selected)
Select all the answers you think are correct.
That is indeed correct since the Inductive miner guarantees sound process models and the transition 'Restart repair' puts a token back, re-enabling certain parts of the process model.