Visualizing State Spaces with Petri Nets
The ProM framework: A new era in process mining tool support