Realising Dead Path Elimination in BPMN | IEEE Conference Publication | IEEE Xplore