Kezić, D.; Gudelj, A. Design of River System Deadlock Avoidance Supervisor by Using Petri Net. PROMTT 2010, 22, 175-182.