Naslov
P-invariant Based Petri Net Traffic Controller

Autori
Kezić, D., Matić, P., Račić, N.

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

Izvornik
Proceedings of the 17th Mediterranean Conference on Control and Automation, Med 09 (IEEE) / Vassilios Petridis, Frank L. Lewis, Manolis Christodoulou, Thomas Parisini, George A. Rovithakis, Zoe Doulgeri - Solun : Institute of Electrical and Electronics Engineers (IEEE), 2009, 1096-1101

ISBN
978-1-4244-4684-1

Skup
17th Mediterranean Conference on Control & Automation

Mjesto i datum
Solun, Grčka, 24.06.2009. - 26.06.2009

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Petri net; deadlock prevention; discrete event systems

Sažetak
This paper deals with the automatic traffic control of vessels moving through the narine canal traffic system. To avoid dangerous situations which may occur in case of vessels irregular moving through the system such as conflicts and deadlocks, the vessels traffic is controlled by traffic lights. The goal is to design maximally permissive controller which stops vessels only in the case of dangerous situation. The paper uses a method for P-invariant based Petri net controller design. The marine traffic system is modeled as a MRF1 class of Petri net with disjoint sets of resource and job places. The authors describe a method for calculating control places which control conflicts and restrict the set of reachable states to avoid first and second level deadlocks. The controller is tasted using computer simulation.

Izvorni jezik
Engleski

Znanstvena područja
Strojarstvo

POVEZANOST RADA