Discovering Petri Nets From Event Logs
replaying history on process models for conformance checking and performance analysis .