Naslov
Maximally Permissive Supervisor of Marine Canal Traffic System

Autori
Kezić, Danko ; Vujović, Igor ; Kuzmanić, Ivica

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

Izvornik
IEEE Proceedings of Intelligent Transportation System Society : IEEE ITSC 2006 / - , 2006

ISBN
1-4244-0094-5

Skup
Intelligent Transportation System Conference

Mjesto i datum
Toronto, Kanada, 17.09.2006. - 20.09.2006

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Petri net; deadlock prevention supervisor

Sažetak
This paper deals with the automatic traffic control of vessels moving through the marine canal traffic system. 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. Derived supervisor is maximally permissive (responsible for vessels’ stopping only in the case of dangerous situation and until this situation elapses). This paper shows a formal method of calculating such supervisor by using Petri net. To ensure deadlock free operation of supervisor, the paper proposes finding and controlling critical minimal siphons (specific set of places in the Petri net which are responsible for deadlock). The supervisor is verified using computer simulation.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Tehnologija prometa i transport

POVEZANOST RADA