By Topic

Iterative synthesis of Petri net based deadlock prevention 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

2 Author(s)
Uzam, M. ; Muhendislik-Mimarlik Fakultesi, Nigde Univ., Turkey ; MengChu Zhou

This work presents an iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems (FMS). Given the Petri net (PN) of an FMS prone to deadlock, the goal is to obtain a live controlled PN such that its use for control can lead to high utilization of system resources. In the proposed method, at each iteration, a first-met bad marking is singled out from the reachability graph of PN. The objective is to prevent this marking from being reached by a place invariant. To satisfy this place invariant, a well-established invariant-based control method is used to derive a control place with its related arcs and initial marking. This process is carried out until the PN becomes live. The method is easy to use, effective and straightforward. It is generally applicable-yet its offline computation is of exponential complexity. An example FMS is used to show the proposed method.

Published in:

Systems, Man and Cybernetics, 2004 IEEE International Conference on  (Volume:5 )

Date of Conference:

10-13 Oct. 2004