P – invariant Based Petri Net Traffic Controller (CROSBI ID 565298)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kezić, Danko ; Matić, Petar ; Račić, Nikola
engleski
P – invariant Based Petri Net Traffic Controller
This paper deals with the automatic traffic control of vessels moving through the marine 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 tested using computer simulation.
Petri net; deadlock prevention; discrete event systems
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
2009.
objavljeno
Podaci o matičnoj publikaciji
Proc. of 17th Mediterranean Conference on Control & Automation
Solun:
Podaci o skupu
17th Mediterranean Conference on Control & Automation
predavanje
24.06.2009-26.06.2009
Solun, Grčka