Kezić, D., Antonić, R., & Račić, N. (1). Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net. Promet - Traffic&Transportation, 18(3), 143-150. Retrieved from https://traffic.fpz.hr/index.php/PROMTT/article/view/679