D. Kezić, R. Antonić, and N. Račić, “Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net”, Promet, vol. 18, no. 3, pp. 143-150, 1.