Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems

@article{citeulike:2313345, abstract = {<para> 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. </para>}, author = {Wu, N. and Zhou, M. and Li, Z. }, booktitle = {Systems, Man and Cybernetics, Part A, IEEE Transactions on}, citeulike-article-id = {2313345}, doi = {http://dx.doi.org/10.1109/TSMCA.2007.909542}, journal = {Systems, Man and Cybernetics, Part A, IEEE Transactions on}, keywords = {avoidance, deadlock, deadlockavoidance, ras, resources}, number = {1}, pages = {56--69}, posted-at = {2008-01-31 12:35:53}, priority = {2}, title = {Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems}, url = {http://dx.doi.org/10.1109/TSMCA.2007.909542}, volume = {38}, year = {2008} }

TY - JOUR ID - citeulike:2313345 L3 - citeulike-article-id:2313345 TI - Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems T2 - Systems, Man and Cybernetics, Part A, IEEE Transactions on JF - Systems, Man and Cybernetics, Part A, IEEE Transactions on VL - 38 IS - 1 SP - 56 EP - 69 N2 - <para> 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. </para> KW - avoidance KW - deadlock KW - deadlockavoidance KW - ras KW - resources AU - Wu, N AU - Zhou, M AU - Li, Z PY - 2008/// UR - http://dx.doi.org/10.1109/TSMCA.2007.909542 ER -