Kezić, Danko, and Anita Gudelj. 2010. “Design of River System Deadlock Avoidance Supervisor by Using Petri Net”. Promet - Traffic&Transportation 22 (3):175-82. https://doi.org/10.7307/ptt.v22i3.273.