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]. 2021Nov.11 [cited 2024Apr.26];36(4):305-16. Available from: https://journals.vilniustech.lt/index.php/Transport/article/view/15824