Kezić, D., Antonić, R., & Račić, N. (2006). Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net. Promet - Traffic&Transportation, 18(3), 143–150. Retrieved from https://traffic2.fpz.hr/index.php/PROMTT/article/view/2163