Flexible Heuristics Miner (FHM)
Workflow mining: A survey of issues and approaches