A petri net based deadlock avoidance policy for flexible manufacturing systems with assembly operations and multiple resource acquisition

Jianchao Luo, Zhiqiang Liu, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

40 Scopus citations

Abstract

Efficient deadlock control policies are very important in the operation of flexible manufacturing systems (FMS). This paper focuses on deadlock control problems for a general class of FMS. They have three interesting characteristics from the application point of view. First, flexible routes of parts and assembly operations are allowed. Second, the number of parts of the same type in a product may be more than one. Third, an operation may require multiple resources. To characterize such FMS, a Petri net model that can deal well with all FMS characteristics is developed. Based on it, this paper proposes a Banker's-algorithm-like deadlock avoidance policy. The proposed policy is proved to be polynomial in the model size. Moreover, experimental results indicate its effectiveness and superiority over the state-of-the-art policies.

Original languageEnglish (US)
Article number8493276
Pages (from-to)3379-3387
Number of pages9
JournalIEEE Transactions on Industrial Informatics
Volume15
Issue number6
DOIs
StatePublished - Jun 2019

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Information Systems
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Assembly operation
  • Petri net (PN)
  • deadlock avoidance policy (DAP)
  • flexible manufacturing systems (FMS)
  • flexible routes

Fingerprint

Dive into the research topics of 'A petri net based deadlock avoidance policy for flexible manufacturing systems with assembly operations and multiple resource acquisition'. Together they form a unique fingerprint.

Cite this