KEZIĆ, D.; ANTONIĆ, R.; RAČIĆ, N. Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net. Promet - Traffic&Transportation, v. 18, n. 3, p. 143-150, 11.