Simulation of BPMN Process Models: Current BPM Tools Capabilities · Study