Naslov
A Petri Net approach of deadlock prevention in marine traffic system

Autori
Kezić, Danko ; Perić, Nedjeljko ; Petrović, Ivan

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the IEEE International Symposium on Industrial Electronics 2005 / Perić, Nedjeljko ; Petrović, Ivan ; Butković, Željko - Zagreb, 2005, 217-222

Skup
International Symposium on Industrial Electronics 2005

Mjesto i datum
Dubrovnik, Hrvatska, 20.06.2005. - 23.06.2005

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
petri net; deadlock prevention; marine traffic system; iterative siphon control method

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Tehnologija prometa i transport

POVEZANOST RADA