Back to Search
Start Over
Using theory of regions with selective siphon control for deadlock prevention policy in Petri nets.
- Source :
- 2012 IEEE International Conference on Systems, Man & Cybernetics (SMC); 1/ 1/2012, p1189-1194, 6p
- Publication Year :
- 2012
-
Abstract
- 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. [ABSTRACT FROM PUBLISHER]
Details
- Language :
- English
- ISBNs :
- 9781467317139
- Database :
- Complementary Index
- Journal :
- 2012 IEEE International Conference on Systems, Man & Cybernetics (SMC)
- Publication Type :
- Conference
- Accession number :
- 86560912
- Full Text :
- https://doi.org/10.1109/ICSMC.2012.6377893