A Petri Net approach of deadlock prevention in marine traffic system (CROSBI ID 507839)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kezić, Danko ; Perić, Nedjeljko ; Petrović, Ivan
engleski
A Petri Net approach of deadlock prevention in marine traffic system
This paper deals with the traffic control of vessels moving through the marine system of canals and basins. Dangerous vessel deadlock situations may occur in case of vessels’ irregular moving through the system. To avoid this, the vessel traffic is supervised and controlled by traffic lights. A supervisor is responsible for vessels’ stopping only in the case of dangerous situation and until this situation elapses. This paper shows a formal method of calculating a maximal permissible deadlock prevention supervisor by use of Petri net and iterative siphon control method. The functionality of calculated deadlock prevention supervisor is verified using a computer simulation of vessels’ movements.
petri net; deadlock prevention; marine traffic system; iterative siphon control method
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
217-222-x.
2005.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the IEEE International Symposium on Industrial Electronics 2005
Perić, Nedjeljko ; Petrović, Ivan ; Butković, Željko
Zagreb:
Podaci o skupu
International Symposium on Industrial Electronics 2005
predavanje
20.06.2005-23.06.2005
Dubrovnik, Hrvatska