Resource-oriented Petri net for deadlock avoidance in flexible assembly systems

Naiqi Wu, Meng Chu Zhou, Zhi Wu Li

Research output: Contribution to journalArticlepeer-review

213 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)56-69
Number of pages14
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Issue number1
StatePublished - 2008

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Human-Computer Interaction
  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Computer Science Applications


  • Assembly systems
  • Automated manufacturing system
  • Deadlock avoidance
  • Flexible manufacturing system
  • Petri net


Dive into the research topics of 'Resource-oriented Petri net for deadlock avoidance in flexible assembly systems'. Together they form a unique fingerprint.

Cite this