Bošnjak, Rino, Danko Kezić, Pero Vidan, and Zvonko Kavran. 2020. “Collision Prevention in Singapore Strait by Using Timed Petri Net”. Transport 35 (3):273-82. https://doi.org/10.3846/transport.2019.11623.