Formal Semantics and Analysis of BPMN Process Models using Petri Nets
The ProM framework: A new era in process mining tool support