Kezić, D. and Gudelj, A. (1) “Design of River System Deadlock Avoidance Supervisor by Using Petri Net”, Promet - Traffic&Transportation, 22(3), pp. 175-182. doi: 10.7307/ptt.v22i3.273.