Kezić, Danko, and Anita Gudelj. 1. “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.