Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems
Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitat...
Gespeichert in:
| Veröffentlicht in: | Control theory and technology 2007-05, Vol.5 (2), p.152-158 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 158 |
|---|---|
| container_issue | 2 |
| container_start_page | 152 |
| container_title | Control theory and technology |
| container_volume | 5 |
| creator | Xing, Keyi Tian, Feng Yang, Xiaojun |
| description | Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system. |
| doi_str_mv | 10.1007/s11768-005-5067-y |
| format | Article |
| fullrecord | <record><control><sourceid>wanfang_jour_proqu</sourceid><recordid>TN_cdi_proquest_journals_2664883778</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cqvip_id>24447758</cqvip_id><wanfj_id>kzllyyy_e200702008</wanfj_id><sourcerecordid>kzllyyy_e200702008</sourcerecordid><originalsourceid>FETCH-LOGICAL-c2818-60296093aa74e9b3cb926d563fe88aa92db416d52c562d27e8ac56883a122253</originalsourceid><addsrcrecordid>eNpdkUtL7EAQhYNcwecPcNfcCy6EaD-SfixFfIGgi9k3NZ3KGCfpHrsTJf56exhxcTdVRfHVKTinKM4YvWSUqqvEmJK6pLQuaypVOe8Vh8wYUVLJxZ88S8VLKSp6UByl9Ja5qlL6sFg8b8ZugJ40CE0f3JrAR-ga8A7JC46xIx5HkqYNxo8uhZhIGyKBaQwDjNiQAfzUghun2PkVSXMacUgnxX4LfcLTn35cLO5uFzcP5dPz_ePN9VPpuGa6lJQbSY0AUBWapXBLw2VTS9Gi1gCGN8uK5QV3teQNV6ghT1oLYJzzWhwXFzvZT_At-JV9C1P0-aFdf_X9PM8WefaG5qIzfL6DNzG8T5hGO3TJYd-DxzAly40xWkmVwX__gb-yXMoqv1dqK8d2lIshpYit3cTsY5wto3abiN0lYrPTdpuInfPN35-b1-BX79kwuwS3brseLa9yHqrW4htSwoow</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2664883778</pqid></control><display><type>article</type><title>Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems</title><source>Alma/SFX Local Collection</source><source>SpringerLink Journals - AutoHoldings</source><creator>Xing, Keyi ; Tian, Feng ; Yang, Xiaojun</creator><creatorcontrib>Xing, Keyi ; Tian, Feng ; Yang, Xiaojun</creatorcontrib><description>Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.</description><identifier>ISSN: 1672-6340</identifier><identifier>ISSN: 2095-6983</identifier><identifier>EISSN: 1993-0623</identifier><identifier>EISSN: 2198-0942</identifier><identifier>DOI: 10.1007/s11768-005-5067-y</identifier><language>eng</language><publisher>Heidelberg: Springer Nature B.V</publisher><subject>Automation ; Avoidance ; Circuits ; Manufacturing ; Petri nets ; Petri网 ; Supervisors ; 死锁规避 ; 自动化制造系统 ; 超级用户</subject><ispartof>Control theory and technology, 2007-05, Vol.5 (2), p.152-158</ispartof><rights>Editorial Board of Control Theory & Applications 2007.</rights><rights>Copyright © Wanfang Data Co. Ltd. All Rights Reserved.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c2818-60296093aa74e9b3cb926d563fe88aa92db416d52c562d27e8ac56883a122253</citedby><cites>FETCH-LOGICAL-c2818-60296093aa74e9b3cb926d563fe88aa92db416d52c562d27e8ac56883a122253</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://image.cqvip.com/vip1000/qk/87672X/87672X.jpg</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Xing, Keyi</creatorcontrib><creatorcontrib>Tian, Feng</creatorcontrib><creatorcontrib>Yang, Xiaojun</creatorcontrib><title>Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems</title><title>Control theory and technology</title><addtitle>Journal of Control Theory and Applications</addtitle><description>Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.</description><subject>Automation</subject><subject>Avoidance</subject><subject>Circuits</subject><subject>Manufacturing</subject><subject>Petri nets</subject><subject>Petri网</subject><subject>Supervisors</subject><subject>死锁规避</subject><subject>自动化制造系统</subject><subject>超级用户</subject><issn>1672-6340</issn><issn>2095-6983</issn><issn>1993-0623</issn><issn>2198-0942</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><recordid>eNpdkUtL7EAQhYNcwecPcNfcCy6EaD-SfixFfIGgi9k3NZ3KGCfpHrsTJf56exhxcTdVRfHVKTinKM4YvWSUqqvEmJK6pLQuaypVOe8Vh8wYUVLJxZ88S8VLKSp6UByl9Ja5qlL6sFg8b8ZugJ40CE0f3JrAR-ga8A7JC46xIx5HkqYNxo8uhZhIGyKBaQwDjNiQAfzUghun2PkVSXMacUgnxX4LfcLTn35cLO5uFzcP5dPz_ePN9VPpuGa6lJQbSY0AUBWapXBLw2VTS9Gi1gCGN8uK5QV3teQNV6ghT1oLYJzzWhwXFzvZT_At-JV9C1P0-aFdf_X9PM8WefaG5qIzfL6DNzG8T5hGO3TJYd-DxzAly40xWkmVwX__gb-yXMoqv1dqK8d2lIshpYit3cTsY5wto3abiN0lYrPTdpuInfPN35-b1-BX79kwuwS3brseLa9yHqrW4htSwoow</recordid><startdate>200705</startdate><enddate>200705</enddate><creator>Xing, Keyi</creator><creator>Tian, Feng</creator><creator>Yang, Xiaojun</creator><general>Springer Nature B.V</general><general>Xi'an Institute of Electromechanical Information Technology, Xi'an Shaanxi 710065, China</general><general>The State Key Laboratory for Manufacturing System Engineering, Systems Engineering Institute, Xi'an Jiaotong University, Xi'an Shannxi 710049, China%The State Key Laboratory for Manufacturing System Engineering, Systems Engineering Institute, Xi'an Jiaotong University, Xi'an Shannxi 710049, China</general><scope>2RA</scope><scope>92L</scope><scope>CQIGP</scope><scope>W92</scope><scope>~WA</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SP</scope><scope>8FD</scope><scope>L7M</scope><scope>2B.</scope><scope>4A8</scope><scope>92I</scope><scope>93N</scope><scope>PSX</scope><scope>TCJ</scope></search><sort><creationdate>200705</creationdate><title>Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems</title><author>Xing, Keyi ; Tian, Feng ; Yang, Xiaojun</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c2818-60296093aa74e9b3cb926d563fe88aa92db416d52c562d27e8ac56883a122253</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Automation</topic><topic>Avoidance</topic><topic>Circuits</topic><topic>Manufacturing</topic><topic>Petri nets</topic><topic>Petri网</topic><topic>Supervisors</topic><topic>死锁规避</topic><topic>自动化制造系统</topic><topic>超级用户</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Xing, Keyi</creatorcontrib><creatorcontrib>Tian, Feng</creatorcontrib><creatorcontrib>Yang, Xiaojun</creatorcontrib><collection>中文科技期刊数据库</collection><collection>中文科技期刊数据库-CALIS站点</collection><collection>中文科技期刊数据库-7.0平台</collection><collection>中文科技期刊数据库-工程技术</collection><collection>中文科技期刊数据库- 镜像站点</collection><collection>CrossRef</collection><collection>Electronics & Communications Abstracts</collection><collection>Technology Research Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Wanfang Data Journals - Hong Kong</collection><collection>WANFANG Data Centre</collection><collection>Wanfang Data Journals</collection><collection>万方数据期刊 - 香港版</collection><collection>China Online Journals (COJ)</collection><collection>China Online Journals (COJ)</collection><jtitle>Control theory and technology</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Xing, Keyi</au><au>Tian, Feng</au><au>Yang, Xiaojun</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems</atitle><jtitle>Control theory and technology</jtitle><addtitle>Journal of Control Theory and Applications</addtitle><date>2007-05</date><risdate>2007</risdate><volume>5</volume><issue>2</issue><spage>152</spage><epage>158</epage><pages>152-158</pages><issn>1672-6340</issn><issn>2095-6983</issn><eissn>1993-0623</eissn><eissn>2198-0942</eissn><abstract>Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.</abstract><cop>Heidelberg</cop><pub>Springer Nature B.V</pub><doi>10.1007/s11768-005-5067-y</doi><tpages>7</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1672-6340 |
| ispartof | Control theory and technology, 2007-05, Vol.5 (2), p.152-158 |
| issn | 1672-6340 2095-6983 1993-0623 2198-0942 |
| language | eng |
| recordid | cdi_proquest_journals_2664883778 |
| source | Alma/SFX Local Collection; SpringerLink Journals - AutoHoldings |
| subjects | Automation Avoidance Circuits Manufacturing Petri nets Petri网 Supervisors 死锁规避 自动化制造系统 超级用户 |
| title | Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-25T12%3A35%3A17IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-wanfang_jour_proqu&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Optimal%20deadlock%20avoidance%20Petri%20net%20supervisors%20for%20automated%20manufacturing%20systems&rft.jtitle=Control%20theory%20and%20technology&rft.au=Xing,%20Keyi&rft.date=2007-05&rft.volume=5&rft.issue=2&rft.spage=152&rft.epage=158&rft.pages=152-158&rft.issn=1672-6340&rft.eissn=1993-0623&rft_id=info:doi/10.1007/s11768-005-5067-y&rft_dat=%3Cwanfang_jour_proqu%3Ekzllyyy_e200702008%3C/wanfang_jour_proqu%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2664883778&rft_id=info:pmid/&rft_cqvip_id=24447758&rft_wanfj_id=kzllyyy_e200702008&rfr_iscdi=true |