Kezić D, Gudelj A. Design of River System Deadlock Avoidance Supervisor by Using Petri Net. Promet [Internet]. 1 [cited 2024Apr.23];22(3):175-82. Available from: https://traffic.fpz.hr/index.php/PROMTT/article/view/273