Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems
In many flexible assembly systems, base components are transported with pallets; parts to be mounted onto the base ones are transported by trays with no pallets. When an assembly operation is performed by using some parts in a tray but not all, the tray with the remaining parts still occupies a buff...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on systems, man and cybernetics. Part A, Systems and humans man and cybernetics. Part A, Systems and humans, 2008-01, Vol.38 (1), p.56-69 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 69 |
|---|---|
| container_issue | 1 |
| container_start_page | 56 |
| container_title | IEEE transactions on systems, man and cybernetics. Part A, Systems and humans |
| container_volume | 38 |
| creator | Naiqi Wu, Naiqi Wu MengChu Zhou, MengChu Zhou ZhiWu Li, ZhiWu Li |
| description | In many flexible assembly systems, base components are transported with pallets; parts to be mounted onto the base ones are transported by trays with no pallets. When an assembly operation is performed by using some parts in a tray but not all, the tray with the remaining parts still occupies a buffer space. In this way, an assembly/disassembly material flow is formed. In such a material flow, deadlock can occur both in the base component and part flow. Furthermore, the assembly operations can also result in a deadlock. Thus, it is a great challenge to tackle deadlocks in such processes. This paper models them using resource-oriented Petri nets. Based on the models, a deadlock control policy is proposed and proved to be computationally efficient and less conservative than the existing policies in the literature. An industrial case study is used to show the results. |
| doi_str_mv | 10.1109/TSMCA.2007.909542 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_crossref_primary_10_1109_TSMCA_2007_909542</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4404061</ieee_id><sourcerecordid>875078925</sourcerecordid><originalsourceid>FETCH-LOGICAL-c324t-ca6c22118951eeaf1e976c8bf2a51d0e64b0a917fcfed16990aab8ed0e69befb3</originalsourceid><addsrcrecordid>eNpdkE1LAzEQhoMoWKs_QLwEL562JtnsJjmWalVQK7aeQzY7gdT9qMlW7L9364oHTzMwzzvMPAidUzKhlKjr1fJpNp0wQsREEZVxdoBGNMtkwjjLD_ueyDThnIljdBLjmhDKueIjtHiF2G6DhWQRPDQdlPgFuuDxM3TYtQHfgCmr1r7j6WfrS9NYwL7B8wq-fFEBnsYIdVHt8HIXO6jjKTpypopw9lvH6G1-u5rdJ4-Lu4fZ9DGxKeNdYk1uGaNUqowCGEdBidzKwjGT0ZJAzgtiFBXOOihprhQxppCwn6gCXJGO0dWwdxPajy3ETtc-Wqgq00C7jVqKjAipWNaTl__Idf9w0x-nZc5SISQjPUQHyIY2xgBOb4KvTdhpSvResP4RrPeC9SC4z1wMGQ8AfzznhJOcpt-yPHd7</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>862377820</pqid></control><display><type>article</type><title>Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems</title><source>IEEE Electronic Library (IEL)</source><creator>Naiqi Wu, Naiqi Wu ; MengChu Zhou, MengChu Zhou ; ZhiWu Li, ZhiWu Li</creator><creatorcontrib>Naiqi Wu, Naiqi Wu ; MengChu Zhou, MengChu Zhou ; ZhiWu Li, ZhiWu Li</creatorcontrib><description>In many flexible assembly systems, base components are transported with pallets; parts to be mounted onto the base ones are transported by trays with no pallets. When an assembly operation is performed by using some parts in a tray but not all, the tray with the remaining parts still occupies a buffer space. In this way, an assembly/disassembly material flow is formed. In such a material flow, deadlock can occur both in the base component and part flow. Furthermore, the assembly operations can also result in a deadlock. Thus, it is a great challenge to tackle deadlocks in such processes. This paper models them using resource-oriented Petri nets. Based on the models, a deadlock control policy is proposed and proved to be computationally efficient and less conservative than the existing policies in the literature. An industrial case study is used to show the results.</description><identifier>ISSN: 1083-4427</identifier><identifier>ISSN: 2168-2216</identifier><identifier>EISSN: 1558-2426</identifier><identifier>EISSN: 2168-2232</identifier><identifier>DOI: 10.1109/TSMCA.2007.909542</identifier><identifier>CODEN: ITSHFX</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Assembly ; Assembly systems ; automated manufacturing system ; Automatic control ; Birth disorders ; Computational efficiency ; Cybernetics ; deadlock avoidance ; Electrical equipment industry ; flexible manufacturing system ; Flexible manufacturing systems ; Human ; Joining materials ; Manufacturing industries ; Manufacturing systems ; Mathematical models ; Pallets ; Petri net ; Petri nets ; Policies ; System recovery ; Trays</subject><ispartof>IEEE transactions on systems, man and cybernetics. Part A, Systems and humans, 2008-01, Vol.38 (1), p.56-69</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2008</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c324t-ca6c22118951eeaf1e976c8bf2a51d0e64b0a917fcfed16990aab8ed0e69befb3</citedby><cites>FETCH-LOGICAL-c324t-ca6c22118951eeaf1e976c8bf2a51d0e64b0a917fcfed16990aab8ed0e69befb3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4404061$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,777,781,793,27905,27906,54739</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4404061$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Naiqi Wu, Naiqi Wu</creatorcontrib><creatorcontrib>MengChu Zhou, MengChu Zhou</creatorcontrib><creatorcontrib>ZhiWu Li, ZhiWu Li</creatorcontrib><title>Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems</title><title>IEEE transactions on systems, man and cybernetics. Part A, Systems and humans</title><addtitle>TSMCA</addtitle><description>In many flexible assembly systems, base components are transported with pallets; parts to be mounted onto the base ones are transported by trays with no pallets. When an assembly operation is performed by using some parts in a tray but not all, the tray with the remaining parts still occupies a buffer space. In this way, an assembly/disassembly material flow is formed. In such a material flow, deadlock can occur both in the base component and part flow. Furthermore, the assembly operations can also result in a deadlock. Thus, it is a great challenge to tackle deadlocks in such processes. This paper models them using resource-oriented Petri nets. Based on the models, a deadlock control policy is proposed and proved to be computationally efficient and less conservative than the existing policies in the literature. An industrial case study is used to show the results.</description><subject>Assembly</subject><subject>Assembly systems</subject><subject>automated manufacturing system</subject><subject>Automatic control</subject><subject>Birth disorders</subject><subject>Computational efficiency</subject><subject>Cybernetics</subject><subject>deadlock avoidance</subject><subject>Electrical equipment industry</subject><subject>flexible manufacturing system</subject><subject>Flexible manufacturing systems</subject><subject>Human</subject><subject>Joining materials</subject><subject>Manufacturing industries</subject><subject>Manufacturing systems</subject><subject>Mathematical models</subject><subject>Pallets</subject><subject>Petri net</subject><subject>Petri nets</subject><subject>Policies</subject><subject>System recovery</subject><subject>Trays</subject><issn>1083-4427</issn><issn>2168-2216</issn><issn>1558-2426</issn><issn>2168-2232</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2008</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNpdkE1LAzEQhoMoWKs_QLwEL562JtnsJjmWalVQK7aeQzY7gdT9qMlW7L9364oHTzMwzzvMPAidUzKhlKjr1fJpNp0wQsREEZVxdoBGNMtkwjjLD_ueyDThnIljdBLjmhDKueIjtHiF2G6DhWQRPDQdlPgFuuDxM3TYtQHfgCmr1r7j6WfrS9NYwL7B8wq-fFEBnsYIdVHt8HIXO6jjKTpypopw9lvH6G1-u5rdJ4-Lu4fZ9DGxKeNdYk1uGaNUqowCGEdBidzKwjGT0ZJAzgtiFBXOOihprhQxppCwn6gCXJGO0dWwdxPajy3ETtc-Wqgq00C7jVqKjAipWNaTl__Idf9w0x-nZc5SISQjPUQHyIY2xgBOb4KvTdhpSvResP4RrPeC9SC4z1wMGQ8AfzznhJOcpt-yPHd7</recordid><startdate>200801</startdate><enddate>200801</enddate><creator>Naiqi Wu, Naiqi Wu</creator><creator>MengChu Zhou, MengChu Zhou</creator><creator>ZhiWu Li, ZhiWu Li</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>7TB</scope><scope>8FD</scope><scope>FR3</scope><scope>H8D</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>F28</scope></search><sort><creationdate>200801</creationdate><title>Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems</title><author>Naiqi Wu, Naiqi Wu ; MengChu Zhou, MengChu Zhou ; ZhiWu Li, ZhiWu Li</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c324t-ca6c22118951eeaf1e976c8bf2a51d0e64b0a917fcfed16990aab8ed0e69befb3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2008</creationdate><topic>Assembly</topic><topic>Assembly systems</topic><topic>automated manufacturing system</topic><topic>Automatic control</topic><topic>Birth disorders</topic><topic>Computational efficiency</topic><topic>Cybernetics</topic><topic>deadlock avoidance</topic><topic>Electrical equipment industry</topic><topic>flexible manufacturing system</topic><topic>Flexible manufacturing systems</topic><topic>Human</topic><topic>Joining materials</topic><topic>Manufacturing industries</topic><topic>Manufacturing systems</topic><topic>Mathematical models</topic><topic>Pallets</topic><topic>Petri net</topic><topic>Petri nets</topic><topic>Policies</topic><topic>System recovery</topic><topic>Trays</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Naiqi Wu, Naiqi Wu</creatorcontrib><creatorcontrib>MengChu Zhou, MengChu Zhou</creatorcontrib><creatorcontrib>ZhiWu Li, ZhiWu Li</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>Engineering Research Database</collection><collection>Aerospace Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><jtitle>IEEE transactions on systems, man and cybernetics. Part A, Systems and humans</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Naiqi Wu, Naiqi Wu</au><au>MengChu Zhou, MengChu Zhou</au><au>ZhiWu Li, ZhiWu Li</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems</atitle><jtitle>IEEE transactions on systems, man and cybernetics. Part A, Systems and humans</jtitle><stitle>TSMCA</stitle><date>2008-01</date><risdate>2008</risdate><volume>38</volume><issue>1</issue><spage>56</spage><epage>69</epage><pages>56-69</pages><issn>1083-4427</issn><issn>2168-2216</issn><eissn>1558-2426</eissn><eissn>2168-2232</eissn><coden>ITSHFX</coden><abstract>In many flexible assembly systems, base components are transported with pallets; parts to be mounted onto the base ones are transported by trays with no pallets. When an assembly operation is performed by using some parts in a tray but not all, the tray with the remaining parts still occupies a buffer space. In this way, an assembly/disassembly material flow is formed. In such a material flow, deadlock can occur both in the base component and part flow. Furthermore, the assembly operations can also result in a deadlock. Thus, it is a great challenge to tackle deadlocks in such processes. This paper models them using resource-oriented Petri nets. Based on the models, a deadlock control policy is proposed and proved to be computationally efficient and less conservative than the existing policies in the literature. An industrial case study is used to show the results.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TSMCA.2007.909542</doi><tpages>14</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1083-4427 |
| ispartof | IEEE transactions on systems, man and cybernetics. Part A, Systems and humans, 2008-01, Vol.38 (1), p.56-69 |
| issn | 1083-4427 2168-2216 1558-2426 2168-2232 |
| language | eng |
| recordid | cdi_crossref_primary_10_1109_TSMCA_2007_909542 |
| source | IEEE Electronic Library (IEL) |
| subjects | Assembly Assembly systems automated manufacturing system Automatic control Birth disorders Computational efficiency Cybernetics deadlock avoidance Electrical equipment industry flexible manufacturing system Flexible manufacturing systems Human Joining materials Manufacturing industries Manufacturing systems Mathematical models Pallets Petri net Petri nets Policies System recovery Trays |
| title | Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-20T13%3A38%3A43IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Resource-Oriented%20Petri%20Net%20for%20Deadlock%20Avoidance%20in%20Flexible%20Assembly%20Systems&rft.jtitle=IEEE%20transactions%20on%20systems,%20man%20and%20cybernetics.%20Part%20A,%20Systems%20and%20humans&rft.au=Naiqi%20Wu,%20Naiqi%20Wu&rft.date=2008-01&rft.volume=38&rft.issue=1&rft.spage=56&rft.epage=69&rft.pages=56-69&rft.issn=1083-4427&rft.eissn=1558-2426&rft.coden=ITSHFX&rft_id=info:doi/10.1109/TSMCA.2007.909542&rft_dat=%3Cproquest_RIE%3E875078925%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=862377820&rft_id=info:pmid/&rft_ieee_id=4404061&rfr_iscdi=true |