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