Semantics and analysis of business process models in BPMN
The ProM framework: A new era in process mining tool support