An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems

Murat Uzam, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

217 Scopus citations

Abstract

This paper proposes an iterative synthesis approach to Petri net (PN)-based deadlock prevention policy for flexible manufacturing systems (FMS). Given the PN model (PNM) of an FMS prone to deadlock, the goal is to synthesize a live controlled PNM. Its use for FMS control guarantees its deadlock-free operation and high performance in terms of resource utilization and system throughput. The proposed method is an iterative approach. At each iteration, a first-met bad marking is singled out from the reachability graph of a given PNM. The objective is to prevent this marking from being reached via a place invariant of the PN. A well-established invariant-based control method is used to derive a control place. This process is carried out until the net model becomes live. The proposed method is generally applicable, easy to use, effective, and straightforward although its off-line computation is of exponential complexity. Two FMS are used to show its effectiveness and applicability.

Original languageEnglish (US)
Pages (from-to)362-371
Number of pages10
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume37
Issue number3
DOIs
StatePublished - May 2007

All Science Journal Classification (ASJC) codes

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

Keywords

  • Deadlock
  • Deadlock prevention
  • Flexible manufacturing systems (FMS)
  • Petri net (PN)
  • Reachability analysis

Fingerprint Dive into the research topics of 'An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems'. Together they form a unique fingerprint.

Cite this