Kezić, D. et al. 2006. Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net. Promet - Traffic&Transportation. 18, 3 (May 2006), 143–150.