KEZIĆ, D.; GUDELJ, A. Design of River System Deadlock Avoidance Supervisor by Using Petri Net. Promet - Traffic&Transportation, v. 22, n. 3, p. 175-182, 11.