Flexible Model Induction through Heuristic Process Discovery