Naslov
Matrix based supervisor design of marine traffic system

Autori
Kezić, Danko ; Gudelj, Anita ; Vujović, Igor

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

Izvornik
4. međunarodno znanstveno-stručno savjetovanje Luke i plovni putevi : Zbornik radova = 4th International Conference Ports and Waterways (POWA 2009) : Adriatic3S - Final conference proceedings / Jolić, Natalija - Zagreb : Fakultet prometnih znanosti Sveučilišta u Zagrebu, 2009

ISBN
978-953-243-041-7

Skup
International Conference on Ports and Waterways (4 ; 2009)

Mjesto i datum
Zagreb, Hrvatska, 10.09.2009. - 11.09.2009

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
deadlock prevention; petri net

Sažetak
The paper deals with the traffic control in the marine canal system. The moving of vessels can be described as the set of discrete events and states, and the discrete event dynamic system (DEDS) theory can be applied in order to analyze the system. Some of these states can be undesirable (deadlock states) and it is necessary to apply adequate control policy to avoid deadlocks. At the same time the system supervisor, which provides control policy, must be maximally permissive (block the vessels’ moving only if there is a danger of deadlock). The authors use a Petri net theory and matrix based formal method to analyze DEDS and design a conflict and deadlock prevention supervisor which controls vessels’ moving. The system is modeled as a MRF1 class of Petri net (MRF1PN) with disjoint sets of resources, jobs and control places. By using and/or matrix algebra authors analyze the structural characteristics of the Petri net - circular waits between resources, P-invariants, critical siphons, critical subsystems, and key resource and propose steps to design a supervisor. First and second level deadlocks can be avoided by maintaining the number of tokens in the critical subsystems and ensuring that the key resource would not be the last available resource in the system. The supervisor is verified by a computer simulation using MATLAB environment

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Tehnologija prometa i transport, Temeljne tehničke znanosti

POVEZANOST RADA