TOWARDS A CHARACTERIZATION OF BPM TOOLS’ SIMULATION SUPPORT: THE CASE OF BPMN PROCESS MODELS