Bošnjak, R.; Kezić, D.; Vidan, P.; Kavran, Z. Collision Prevention in Singapore Strait by Using Timed Petri Net. Transport 2020, 35 (3), 273-282. https://doi.org/10.3846/transport.2019.11623.