Gravar-mail: Towards a characterization of BPM tools' simulation support: the case of BPMN process models