Kezić, Danko, Igor Vujović, and Anita Gudelj. 2007. “Petri Net Approach of Collision Prevention Supervisor Design in Port Transport System”. Promet - Traffic&Transportation 19 (5):269-75. https://traffic2.fpz.hr/index.php/PROMTT/article/view/2234.