BOŠNJAK, R.; KEZIĆ, D.; VIDAN, P.; KAVRAN, Z. Collision prevention in Singapore Strait by using timed Petri net. Transport, v. 35, n. 3, p. 273-282, 9 Jul. 2020.