Ligęza, A. BPMN – A Logical Model and Property Analysis. DMMS 2011, 5, 57-67.