Kezić, Danko, et al. “Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net”. Promet - Traffic&Transportation, vol. 18, no. 3, May 2006, pp. 143-50, https://traffic2.fpz.hr/index.php/PROMTT/article/view/2163.