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, doi: 10.3846/transport.2019.11623.