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