ProM 5.2 plugin implements the HeuristicsMiner++ plugin.