By Topic

Using theory of regions with selective siphon control for deadlock prevention policy in 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

4 Author(s)
Yen-Liang Pan ; Dept. of Avionic Eng., Air Force Acad., Kaohsiung, Taiwan ; Yi-Sheng Huang ; Mu-Der Jeng ; Sheng-Luen Chung

Deadlock prevention policies are used to solve the deadlock problems of FMSs. The theory of regions is recognized as the unique method for obtaining maximally permissive (i.e., optimal) controllers in the existing literature. In this paper, the selective siphons and critical markings method [17] is merged in the new deadlock prevention policy. First of all, reachability graph is still needed. Second, CMTSIs are identified. Further, selective siphons and critical markings method is used to check if all dead/quasi-dead markings of CMTSIs are covered by these selective siphons. Furthermore, choose anyone CMTSI that belongs to a same selective siphon to be processed. Finally, controllers are therefore obtained. Experimental results indicate that the computational cost can be reduced again. Besides, it is the most efficient policy to obtain maximal permissive behavior of Petri net models.

Published in:

Systems, Man, and Cybernetics (SMC), 2012 IEEE International Conference on

Date of Conference:

14-17 Oct. 2012