Bošnjak, R.; Kezić, D.; Vidan, P.; Kavran, Z. Collision Prevention in Singapore Strait by Using Timed Petri Net. Transport 2020, 35, 273-282.