Kezić, Danko, et al. “Petri Net Approach of Collision Prevention Supervisor Design in Port Transport System”. Promet - Traffic&Transportation, vol. 19, no. 5, Sept. 2007, pp. 269-75, https://traffic2.fpz.hr/index.php/PROMTT/article/view/2234.