Discovering Petri Nets From Event Logs
ProM: The Process Mining Toolkit