Computationally improved optimal deadlock control policy for flexible manufacturing systems

Yi Sheng Huang, Yen Liang Pan, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

80 Scopus citations


Deadlock prevention, deadlock detection, and deadlock avoidance strategies are used to solve the deadlock problems of flexible manufacturing systems. The theory of regions is recognized as the unique method for obtaining maximally permissive (i.e., optimal) controllers in the existing literature. All legal and live maximal behavior of a Petri net model can be preserved by using a marking/transition-separation instance (MTSI). However, obtaining them is an extremely time consuming problem. This work proposes crucial MTSIs that allow designers to employ much fewer MTSIs to deal with deadlocks. The advantage of the proposed policy is that an optimal deadlock controller can be obtained with drastically reduced computation. Experimental results, by varying the markings of given net structures, indicate that it is the most efficient policy to obtain such controllers.

Original languageEnglish (US)
Article number6029338
Pages (from-to)404-415
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Issue number2
StatePublished - Mar 2012

All Science Journal Classification (ASJC) codes

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


  • Deadlock prevention
  • Petri net (PN)
  • discrete event system
  • flexible manufacturing system (FMS)
  • theory of regions


Dive into the research topics of 'Computationally improved optimal deadlock control policy for flexible manufacturing systems'. Together they form a unique fingerprint.

Cite this