A maximally permissive deadlock prevention policy for FMS based on petri net siphon control and the theory of regions

Zhiwu Li, Meng Chu Zhou, Mu Der Jeng

Research output: Contribution to journalArticlepeer-review

203 Scopus citations

Abstract

This paper addresses the deadlock problems in flexible manufacturing systems (FMS) by using a Petri net siphon control method and the theory of regions. The proposed policy consists of two stages. The first one, called siphons control, is to add, for every siphon that we identify, a monitor to the original net model such that it is optimally invariant controlled. In the second stage, the theory of regions is utilized to derive the net supervisors such that deadlocks can be prevented. The first-stage work significantly lowers the computational cost compared with the approach where the theory of regions is used alone. An FMS example is presented to illustrate the technique. By varying the markings of given net structures, this paper shows its computational advantages.

Original languageEnglish (US)
Pages (from-to)182-188
Number of pages7
JournalIEEE Transactions on Automation Science and Engineering
Volume5
Issue number1
DOIs
StatePublished - Jan 2008

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Keywords

  • Deadlock prevention
  • Flexible manufacturing system
  • Petri net
  • Siphon
  • Theory of regions

Fingerprint

Dive into the research topics of 'A maximally permissive deadlock prevention policy for FMS based on petri net siphon control and the theory of regions'. Together they form a unique fingerprint.

Cite this