Implementing the BPMN model in ProM.