Synthesis of vessel traffic services using Petri nets

Čest problem u pomorskom prometu je smanjenje sigurnosti odvijanja plovidbe, čime se povećava vjerojatnost događanja pomorske nesreće. Zbog toga se uvode nadzorni sustavi koji sa kopna upravljaju odvijanjem pomorskog prometa. Cilj diplomskog rada je modeliranje i simuliranje nadzornog sustava kao dijela VTS sustava čiji je cilj sprječavanje sudara i povećanje sigurnosti prometa unutar kanala. U radu je prikazan rad nadzornog sustava na primjeru pomorskog kanala. Nadzorni sustav dijeli kanal na dvije rute i šest sektora. Svaki sektor je opremljen senzorima da bi nadzornik mogao pratiti kretanje brodova. U kanalu može biti samo jedan brod te kad isti uđe u kanal na obje strane kanala se pali crveno svijetlo na semaforu i nijednom brodu nije dozvoljen ulaz. U radu je sintetiziran nadzorni sustav koji upravlja pomorskim prometom korištenjem T-Petrijevih mreža, a verifikacija nadzornog sustava provodi se računalnom simulacijom primjenom programa Visual Object-net.A common problem in maritime transport is a safety reduction in navigation, which increese probability of maritime accident. Because of that, there are supervising systems that controll maritime traffic from mainland. The objective of thesis is modeling and simulation of supervising system as part of VTS system which objective is to prevent crashes and improving safety inside canal. This thesis presents the work of supervising system using the example of maritime canal. The supervising system divides the canal into two routes and six sectors. Each sector is equipped with sensors so supervisor can track movement of ships. There can be only one ship in canal, and when it enters in canal, on both sides of canal lights up red light at traffic lights, and there is no allowed enterance in canal for others ships. In thesis there is synthesized supervising system that manages vessel traffic by using T-Petri nets, and verification of supervising system is carried out by computer simulation using Visua object-net