Semantic investigation of a control-flow subset of BPMN 2.0 | IEEE Conference Publication | IEEE Xplore