Design method for maximum permissive liveness supervisory controller based on S~3PRChinese Full Text
YAN Ming-ming1,ZHAO Mi2(1.School of Electro-Mechanical Engineering,University of Electronic Science and Technology of China,Chengdu 611731,China;2.School of Mechanical and Electrical Engineering,Shihezi University,Shihezi 832002,China)
Abstract: To solve the problem of deadlock prevention for System of Simple Sequential Process with Resources(S3PR),apolicy to design the deadlock-free supervisor with the maximum permissive system was proposed based on siphons.Using the iterative method,a set of Generalized Mutual Exclusion Constraints(GMEC)were added into all emptiable Strict Minimal Siphons(SMS)existed in the net system so as to make the number of siphons constrained in a given up-limited value,which transformed the siphon based deadlock prevention strategy into the monitoring problem of forbidden state.Thus all forbidden states in the controlled net system could not be reached,and the controlled network had maximum permissive behavior.The effectiveness of proposed policy was verified by examples of flexible manufacturing system,and it was especially suitable for the net model with relatively simple structure and high quality requirement of the reachable states.
Keywords:
flexible manufacturing systems; deadlock prevention; Petri nets; siphon; generalized mutual exclusion constraints;
- DOI:
10.13196/j.cims.2013.07.110.yanmm.018
- Series:
- Subject:
- Classification Code:
TP273
- Mobile Reading
Read on your phone instantly
Step 1Scan QR Codes
"Mobile CNKI-CNKI Express" App
Step 2Open“CNKI Express”
and click the scan icon in the upper left corner of the homepage.
Step 3Scan QR Codes
Read this article on your phone.
- HTML
- CAJ Download
- PDF Download
Download the mobile appuse the app to scan this coderead the article.
Tips: Please download CAJViewer to view CAJ format full text.
Download: 117 Page: 1548-1552 Pagecount: 5 Size: 556K
Citation Network
Related Literature
- Similar Article
- Reader Recommendation
- Associated Author