Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems
The deadlock control problem in automated manufacturing systems (AMSs) has received much attention in recent years due to the flexibility of an AMS. In the framework of Petri nets, resource-transition circuits and siphons are often used to characterize and derive a deadlock control policy for an AMS...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2018-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8478227/ |
| _version_ | 1818644504124588032 |
|---|---|
| author | Chao Gu Zhiwu Li Naiqi Wu Mohamed Khalgui Ting Qu Abdulrahman Al-Ahmari |
| author_facet | Chao Gu Zhiwu Li Naiqi Wu Mohamed Khalgui Ting Qu Abdulrahman Al-Ahmari |
| author_sort | Chao Gu |
| collection | DOAJ |
| description | The deadlock control problem in automated manufacturing systems (AMSs) has received much attention in recent years due to the flexibility of an AMS. In the framework of Petri nets, resource-transition circuits and siphons are often used to characterize and derive a deadlock control policy for an AMS. This paper mainly focuses on a class of Petri nets, namely, the system of simple sequential processes with resources, which contains some special resource places. For such a class of Petri nets, the relationship between a multi-step look-ahead deadlock avoidance control method and the structure of the model is established and expanded in a mathematical way. Unlike the one-step look-ahead deadlock avoidance policy (DAP) proposed in the literature, the DAPs reported in this research are applicable to more complex situations, including a model with one-unit resource shared by two or more perfect resource-transition circuits that do not contain each other. Compared with the existing work, some results are archived for expanded models. Finally, for the model with two shared one-unit resources, specific solutions are also presented. Meanwhile, examples are used to demonstrate the proposed results. |
| first_indexed | 2024-12-17T00:15:54Z |
| format | Article |
| id | doaj.art-9c967ec21fbc40c4905720c5fdb29ec1 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-17T00:15:54Z |
| publishDate | 2018-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-9c967ec21fbc40c4905720c5fdb29ec12022-12-21T22:10:43ZengIEEEIEEE Access2169-35362018-01-016688246883810.1109/ACCESS.2018.28725728478227Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing SystemsChao Gu0Zhiwu Li1https://orcid.org/0000-0003-1547-5503Naiqi Wu2https://orcid.org/0000-0001-6782-458XMohamed Khalgui3https://orcid.org/0000-0001-6311-3588Ting Qu4Abdulrahman Al-Ahmari5School of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaSchool of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaInstitute of Systems Engineering, Macau University of Science and Technology, Macau, ChinaSchool of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, ChinaSchool of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, ChinaIndustrial Engineering Department, King Saud University, Riyadh, Saudi ArabiaThe deadlock control problem in automated manufacturing systems (AMSs) has received much attention in recent years due to the flexibility of an AMS. In the framework of Petri nets, resource-transition circuits and siphons are often used to characterize and derive a deadlock control policy for an AMS. This paper mainly focuses on a class of Petri nets, namely, the system of simple sequential processes with resources, which contains some special resource places. For such a class of Petri nets, the relationship between a multi-step look-ahead deadlock avoidance control method and the structure of the model is established and expanded in a mathematical way. Unlike the one-step look-ahead deadlock avoidance policy (DAP) proposed in the literature, the DAPs reported in this research are applicable to more complex situations, including a model with one-unit resource shared by two or more perfect resource-transition circuits that do not contain each other. Compared with the existing work, some results are archived for expanded models. Finally, for the model with two shared one-unit resources, specific solutions are also presented. Meanwhile, examples are used to demonstrate the proposed results.https://ieeexplore.ieee.org/document/8478227/Automated manufacturing systemPetri netdeadlock avoidance policy |
| spellingShingle | Chao Gu Zhiwu Li Naiqi Wu Mohamed Khalgui Ting Qu Abdulrahman Al-Ahmari Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems IEEE Access Automated manufacturing system Petri net deadlock avoidance policy |
| title | Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems |
| title_full | Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems |
| title_fullStr | Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems |
| title_full_unstemmed | Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems |
| title_short | Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems |
| title_sort | improved multi step look ahead control policies for automated manufacturing systems |
| topic | Automated manufacturing system Petri net deadlock avoidance policy |
| url | https://ieeexplore.ieee.org/document/8478227/ |
| work_keys_str_mv | AT chaogu improvedmultisteplookaheadcontrolpoliciesforautomatedmanufacturingsystems AT zhiwuli improvedmultisteplookaheadcontrolpoliciesforautomatedmanufacturingsystems AT naiqiwu improvedmultisteplookaheadcontrolpoliciesforautomatedmanufacturingsystems AT mohamedkhalgui improvedmultisteplookaheadcontrolpoliciesforautomatedmanufacturingsystems AT tingqu improvedmultisteplookaheadcontrolpoliciesforautomatedmanufacturingsystems AT abdulrahmanalahmari improvedmultisteplookaheadcontrolpoliciesforautomatedmanufacturingsystems |