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