D. Kezić, I. Vujović, and A. Gudelj, “Petri Net Approach of Collision Prevention Supervisor Design in Port Transport System”, Promet, vol. 19, no. 5, pp. 269-275, 1.