Kezić D, Antonić R, Račić N. Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net. Promet [Internet]. 1 [cited 2024Apr.19];18(3):143-50. Available from: https://traffic.fpz.hr/index.php/PROMTT/article/view/679