By Topic

Nonpure Petri Net Supervisors for Optimal Deadlock Control of 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)
Yufeng Chen ; Sch. of Electro-Mech. Eng., Xidian Univ., Xi''an, China ; Zhiwu Li ; Al-Ahmari, A.

This paper illustrates that Petri nets with self-loops are more powerful than pure nets in modeling and control of flexible manufacturing systems. A self-loop in a Petri net cannot be mathematically represented by its incidence matrix. This paper presents a mathematical method to design a maximally permissive Petri net supervisor that is expressed by a set of control places with self-loops. A control place with a self-loop can be represented by a constraint and a self-loop associated with a transition whose firing may lead to an illegal marking. The constraint is designed to ensure that all legal markings are reachable and the self-loop is used to prevent the system from reaching illegal markings by disabling the transition at a specific marking. A marking-reduction approach is developed in order to cut down the considered markings, which can greatly decrease the computational overhead of the proposed method. An integer linear programming model is developed to compress the number of control places, aiming to reduce the structural complexity of the resulting supervisors. Finally, illustrative examples are used to validate the proposed method and to demonstrate that it can obtain an optimal supervisor for some cases that cannot be optimally controlled by pure net supervisors.

Published in:

Systems, Man, and Cybernetics: Systems, IEEE Transactions on  (Volume:43 ,  Issue: 2 )