KEZIĆ, Danko; ANTONIĆ, Radovan; RAČIĆ, Nikola. Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net. Promet - Traffic&Transportation, [S. l.], v. 18, n. 3, p. 143–150, 2006. Disponível em: https://traffic2.fpz.hr/index.php/PROMTT/article/view/2163. Acesso em: 26 aug. 2025.