By Topic

A deadlock prevention approach using elementary siphons for a class of Petri nets

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)
Li, Z. ; Sch. of Electro-Mech. Eng., Xidian Univ., Xi''an, China ; XiangFeng Zhang

In this paper, we deal with the deadlock prevention problem in a new class of nets, ES3PR, where deadlocks are related to unmarked siphons. The major disadvantage of the existing approaches is that too many monitors and arcs have to be added. In our deadlock prevention approach, strict minimal siphons are divided into elementary and dependent ones. For each elementary siphon, a monitor is added to prevent it from being emptied without generating emptiable control-induced siphons. The controllability of the dependent siphons is ensured by changing the control depth variables of related elementary siphons, which leads to the liveness of the supervisor for the plant model. Finally, the application of the approach is illustrated with an FMS example.

Published in:

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

Date of Conference:

10-13 Oct. 2004