Bošnjak, Rino, et al. “Collision Prevention in Singapore Strait by Using Timed Petri Net”. Transport, vol. 35, no. 3, July 2020, pp. 273-82, https://doi.org/10.3846/transport.2019.11623.