Kezić, D., R. Antonić, and N. Račić. “Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net”. Promet - Traffic&Transportation, Vol. 18, no. 3, 1, pp. 143-50, https://traffic.fpz.hr/index.php/PROMTT/article/view/679.