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.