D. Kezić and A. Gudelj, “Design of River System Deadlock Avoidance Supervisor by Using Petri Net”, Promet, vol. 22, no. 3, pp. 175-182, 1.