Process simulation support in BPM tools: The case of BPMN · Study