R. Bošnjak, D. Kezić, G. Belamarić, and S. Krile, “Modelling of VTS supervisor by algorithm based on Petri net: case study of Dover incident”, Transport, vol. 36, no. 4, pp. 305–316, Nov. 2021, doi: 10.3846/transport.2021.15824.