Semantics and analysis of business process models in BPMN | doi.page