Title :
Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems
Author :
Wu, NaiQi ; Zhou, MengChu ; Li, ZhiWu
Author_Institution :
Guangdong Univ. of Technol., Guangzhou
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.
Keywords :
Petri nets; assembling; concurrency control; flexible manufacturing systems; palletising; resource allocation; buffer space; deadlock avoidance; deadlock control policy; disassembly material flow; flexible assembly system; resource-oriented Petri net; Assembly systems; Automatic control; Birth disorders; Electrical equipment industry; Flexible manufacturing systems; Joining materials; Manufacturing industries; Manufacturing systems; Petri nets; System recovery; Assembly systems; Petri net; automated manufacturing system; deadlock avoidance; flexible manufacturing system;
Journal_Title :
Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on
DOI :
10.1109/TSMCA.2007.909542