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