R. Bošnjak, D. Kezić, P. Vidan, and Z. Kavran, “Collision prevention in Singapore Strait by using timed Petri net”, Transport, vol. 35, no. 3, pp. 273-282, Jul. 2020.