[Journal papers] [Conference papers] [PhD Theses] [MSc Theses]

 

Journal paper
An Algorithm for Deadlock Prevention Based on Iterative Siphon Control of Petri net
Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije, Vol.47, pp.19-30, 2006
ABSTRACT:
This paper presents a formal calculation method of a deadlock prevention supervisor by the use of Petri nets. The proposed algorithm uses reachability tree to detect deadlock state and iterative siphon control method to synthesize the deadlock prevention supervisor. Such supervisor is maximally permissive and consists of minimal number of control places. The algorithm is intended for reversible or partially reversible P-T Petri net, but it can also be applied to Ordinary Petri nets. The calculation of the supervisor is illustrated by two examples. The first example shows the synthesis of deadlock prevention supervisor in a manufacturing system consisting of three conveyors and three robots, where the deadlock can occur due to concurrent requests of the conveyors for the robot engagements and unpredictable duration of those engagements. The second example shows the synthesis of deadlock prevention supervisor in a marine traffic system, where dangerous vessel deadlock situations may occur in case of vessels’ irregular motion through the system. To avoid this, the vessel traffic is supervised and controlled by traffic lights using the deadlock prevention supervisor, which is responsible for vessels’ stopping only in the case of dangerous situation and until this situation elapses.
BibTeX entry:
@article \{Kezic2006_432,
author = \{Kezi\'{c}, D. AND Peri\'{c}, N. AND Petrovi\'{c}, I.},
title = \{An Algorithm for Deadlock Prevention Based on Iterative Siphon Control of Petri net},
journal = {Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije},
volume = \{47},
pages = \{19-30},
year = \{2006}
}
No file available for download

 

 

 

 

 

Home
About Us
People
Visitors
Groups
Projects
Publications
Software
Courses
Laboratory
Seminars
Students
Matlab
Alumni
Links