METHODOLOGY OF SYNTHESIS OF THE SUPERVISORS BY USING PETRI NET

The ever-increasing maritime traffic becomes a great threat to the safety of navigation particularly in confined waters. It is therefore necessary to develop new solutions in order to enhance the safety at sea. One of the possible solutions involves the control and management of vessel flow by radar supervision and automated guiding systems. This paper discusses the collision avoidance issue in the area of predefined routes and analyses real-life problems in maritime traffic by using appropriate software tools aimed at the enhancement of the safety of navigation. The goal of this study is to suggest a method for synthesizing the navigation supervisor by using Petri nets, which would monitor and control maritime traffic. The objective of installing a supervisor in the coastal centers is to prevent collisions and to improve safety in hazardous sea passages