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 (May 25, 2006): 143–150. Accessed August 26, 2025. https://traffic2.fpz.hr/index.php/PROMTT/article/view/2163.