Enhancing model quality and scalability for mining business processes with invisible tasks in non-free choice · Study