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 2021, 36, 305-316.