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