Enviar por SMS: Towards a characterization of BPM tools' simulation support: the case of BPMN process models