Kezić, D., Antonić, R. and Račić, N. (2006) “Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net”, Promet - Traffic&Transportation, 18(3), pp. 143–150. Available at: https://traffic2.fpz.hr/index.php/PROMTT/article/view/2163 (Accessed: 26 August 2025).