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 2024Dec.17];36(4):305-16. Available from: https://aviation.vgtu.lt/index.php/Transport/article/view/15824