Kezić, Danko, and Anita Gudelj. “Design of River System Deadlock Avoidance Supervisor by Using Petri Net”. Promet - Traffic&Transportation 22, no. 3 (May 25, 2010): 175–182. Accessed August 26, 2025. https://traffic2.fpz.hr/index.php/PROMTT/article/view/1454.