Kezić, D., Antonić, R. and Račić, N. 1. Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net. Promet - Traffic&Transportation. 18, 3 (1), 143-150.