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