By Topic

A deadlock prevention method for FMS with multiple resource acquisitions

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

4 Author(s)
Li, Z. ; Zhiwu Li, Jingwei Liang, Yang Lu, & Anrong Wang, Xidian Univ., Xi''an, China ; Jingwei Liang ; Yang Lu ; Anrong Wang

This paper develops a formal design methodology for the deadlock prevention problems in flexible manufacturing systems (FMS). We target the system that can be modelled by a particular subclass Petri net where the deadlocks in the Peri nets models resulting from insufficiently marked siphons. Deadlock prevention in a system is achieved by adding control places to make elementary siphons max-controlled. Conditions are developed under which a dependent siphon satisfies max-controlled when its elementary siphons are max-controlled. In this way the subclass is enforced to be live. Comparing with the existing methods, this policy requires a much smaller number of control places, especially for large-scale Petri nets. Finally, an application of this technique to a realistic FMS is proposed.

Published in:

Control, Automation, Robotics and Vision Conference, 2004. ICARCV 2004 8th  (Volume:3 )

Date of Conference:

6-9 Dec. 2004