By Topic

On Deadlock Control Using Petri Nets and Siphons for Automated 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
$33 $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)
Zhiwu Li ; School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, 710071, P. R. China. +86-029-88202441; email: zhwli@xidian.edu.cn. ; Xiong Ma

An effective control method is developed to prevent deadlocks from occurring in a class of nets, ES3PR, where deadlocks are related to unmarked siphons. Strict minimal siphons are divided into elementary and dependent ones. For each elementary siphon, a monitor is added to ensure it is sufficiently marked without generating emptiable control-induced siphons. The controllability of a dependent siphon is ensured by changing the control depth variables of its related elementary siphons, which leads to a liveness-enforcing supervisor for a plant model. Furthermore, by checking the redundancy of the additional monitors, some control-redundant monitors can be removed, which leads to a more permissive and structurally simple net supervisor. However, the resultant supervisor usually becomes a generalized net after controlling the emptiable siphons in ES3PR nets, which is difficult to conduct further analysis. Therefore, it is necessary to transform a generalized net supervisor into an ordinary one without changing its behavior properties such as liveness

Published in:

2006 IEEE International Conference on Networking, Sensing and Control

Date of Conference:

0-0 0