Kezić, D.; Antonić, R.; Račić, N. Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net. Promet 1, 18, 143-150.