Return to Article Details Modelling of VTS supervisor by algorithm based on Petri net: case study of Dover incident Download Download PDF