Bošnjak, R., D. Kezić, P. Vidan, and Z. Kavran. “Collision Prevention in Singapore Strait by Using Timed Petri Net”. Transport, vol. 35, no. 3, July 2020, pp. 273-82, doi:10.3846/transport.2019.11623.