Iterative synthesis of petri net based deadlock prevention policy for flexible manufacturing systems

Murat Uzam, Meng Chu Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

32 Scopus citations

Abstract

This paper presents an iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems (FMS). Given the Petri net (PN) of an FMS prone to deadlock, the goal is to obtain a live controlled PN such that its use for control can lead to high utilization of system resources. In the proposed method, at each iteration, a first-met bad marking is singled out from the reachability graph of PN. The objective is to prevent this marking from being reached by a place invariant. To satisfy this place invariant, a well-established invariant-based control method is used to derive a control place with its related arcs and initial marking. This process is carried out until the PN becomes live. The method is easy to use, effective and straightforward. It is generally applicable-yet its off-line computation is of exponential complexity. An example FMS is used to show the proposed method.

Original languageEnglish (US)
Title of host publication2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004
Pages4260-4265
Number of pages6
DOIs
StatePublished - Dec 1 2004
Event2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004 - The Hague, Netherlands
Duration: Oct 10 2004Oct 13 2004

Publication series

NameConference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
Volume5
ISSN (Print)1062-922X

Other

Other2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004
Country/TerritoryNetherlands
CityThe Hague
Period10/10/0410/13/04

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Keywords

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

Fingerprint

Dive into the research topics of 'Iterative synthesis of petri net based deadlock prevention policy for flexible manufacturing systems'. Together they form a unique fingerprint.

Cite this