Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude | Publicación