TY - JOUR
T1 - Resource-oriented Petri net for deadlock avoidance in flexible assembly systems
AU - Wu, Naiqi
AU - Zhou, Meng Chu
AU - Li, Zhi Wu
N1 - Funding Information:
Manuscript received August 11, 2004; revised January 19, 2005, June 26, 2005, and January 9, 2006. This work was supported by National Science Foundation of China under Grants 60574066, 60474018, and 60773001, and Chang Jiang Scholars Program, PRC Ministry of Education. This paper was recommended by Associate Editor Y. Narahari.
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
KW - Assembly systems
KW - Automated manufacturing system
KW - Deadlock avoidance
KW - Flexible manufacturing system
KW - Petri net
UR - http://www.scopus.com/inward/record.url?scp=41149096280&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=41149096280&partnerID=8YFLogxK
U2 - 10.1109/TSMCA.2007.909542
DO - 10.1109/TSMCA.2007.909542
M3 - Article
AN - SCOPUS:41149096280
SN - 1083-4427
VL - 38
SP - 56
EP - 69
JO - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
JF - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
IS - 1
ER -