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