Kezić, Danko, Radovan Antonić, and Nikola Račić. 1. “Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net”. Promet - Traffic&Transportation 18 (3), 143-50. http://traffic.fpz.hr/index.php/PROMTT/article/view/679.