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