Kezić, D. and Gudelj, A. (2010) “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.