Kezić D, Gudelj A. Design of River System Deadlock Avoidance Supervisor by Using Petri Net. PROMTT [Internet]. 2010 May 25 [cited 2025 Aug. 26];22(3):175-82. Available from: https://traffic2.fpz.hr/index.php/PROMTT/article/view/1454