Visualisation of (distributed) process execution based on extended BPMN | IEEE Conference Publication | IEEE Xplore