By Topic

A Petri nets based deadlock avoidance policy for flexible manufacturing systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Wang, A.R. ; Sch. of Electro-Mechanical Eng., Xidian Univ., Xi''an, China ; Li, Z.W. ; Jia, J.Y.

Developed in this paper is a new deadlock avoidance strategy for flexible manufacturing systems, which is based on Petri nets and their structural analysis. The deadlock avoidance policy only uses partial reachability graph of the Petri net without the computations for the whole reachability graph, this deadlock avoidance approach is first to compute some special states or markings, such as deadlock markings, bad markings, and dangerous markings we call. In a bad state (marking), the system (Petri net) will inevitably reach a deadlock, whereas in a dangerous state, the system may not reach a deadlock if the firings of enabled transitions are properly controlled by supervisory control The deadlock avoidance policy presented here is in fact to make the system never reach a bad state. The major advantage of the technique lies in the fact that It is suitable for much larger Petri nets than that of the most existing deadlock avoidance policies and the supervisory control is maximally permissive. Meanwhile, the computation is successfully avoided for the whole reachability graph of the Petri net of the system.

Published in:

Industrial Electronics Society, 2004. IECON 2004. 30th Annual Conference of IEEE  (Volume:2 )

Date of Conference:

2-6 Nov. 2004