Original scientific paper
An Algorithm for Deadlock Prevention Based on Iterative Siphon Control of Petri Net
Danko Kezić
Nedjeljko Perić
Ivan Petrović
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.
Keywords
deadlock prevention supervisor; Petri net; siphon control
Hrčak ID:
4407
URI
Publication date:
3.5.2006.
Visits: 2.462 *