A. Ligęza, “BPMN – A Logical Model and Property Analysis”, DMMS, vol. 5, no. 1, pp. 57–67, Oct. 2011.