Return to Article Details Petri Net-Based Deviation Detection Between Event Logs and Process Models with Milestones Download Download PDF