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