A Transformation Approach to Enact the Design-Time Simulation of BPMN Models | IEEE Conference Publication | IEEE Xplore