An effective FMS deadlock prevention policy based on elementary siphons

Zhiwu Li, Mengchu Zhou

Research output: Contribution to journalConference articlepeer-review

2 Scopus citations

Abstract

Based on siphons, a variety of techniques are developed for the deadlock problems in flexible manufacturing systems. The major disadvantage of the existing approaches is that the number of siphons that have to be considered is large or grows fast as these methods proceed. In this paper, we investigate the deadlock prevention problem in a class of Petri net (PN), S3PR, where siphons are distinguished by elementary and redundant ones. For each elementary siphon, a monitor is added to prevent it from being emptied without generating emptiable control-induced siphons. The results show that a more permissive liveness enforcing Petri net supervisor with a small number of additional monitors can be obtained by our deadlock control policy.

Original languageEnglish (US)
Pages (from-to)3143-3148
Number of pages6
JournalProceedings - IEEE International Conference on Robotics and Automation
Volume2004
Issue number3
StatePublished - Jul 5 2004
EventProceedings- 2004 IEEE International Conference on Robotics and Automation - New Orleans, LA, United States
Duration: Apr 26 2004May 1 2004

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Artificial Intelligence
  • Electrical and Electronic Engineering

Keywords

  • Deadlock prevention
  • Elementary siphons
  • Petri nets
  • Siphons

Fingerprint Dive into the research topics of 'An effective FMS deadlock prevention policy based on elementary siphons'. Together they form a unique fingerprint.

Cite this