Proposal of BPMN extensions for modelling manufacturing processes | IEEE Conference Publication | IEEE Xplore