An approach to construct formal model of business process model from BPMN workflow patterns. - Saran Yamasathien; Wiwat Vatanawood (DICTAP, 2014)