Bošnjak R, Kezić D, Belamarić G, Krile S. Modelling of VTS supervisor by algorithm based on Petri net: case study of Dover incident. Transport [Internet]. 2021 Nov. 11 [cited 2025 May 15];36(4):305-16. Available from: https://journals.vilniustech.lt/index.php/Transport/article/view/15824