Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems

Guoqiang Zeng, Weimin Wu, Meng Chu Zhou, Weijie Mao, Hongye Su, Jian Chu

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

1 Scopus citations

Abstract

This paper presents a novel method to design Petri net-based deadlock prevention controllers for flexible manufacturing systems. It starts from the computation of the complete deadlock markings by utilizing the conservativeness property of a Petri net model and the necessary and sufficient condition for deadlock. Then, it verifies a small state space including the dangerous and bad markings only by combining one-step look-forward through the original net and one-step look-backward via its reverse net. Subsequently, it defines the set of place invariants from the subset of marked operation places for the so called "elementary controlled bad markings". Finally, it synthesizes a deadlock prevention controller by a simplified invariant-based method. Its obtained deadlock-free controller allows more behavior of the closed-loop system than those obtained via a siphon-based control method. Its computational efficiency is higher than those based on a complete reachability graph-based control method.

Original languageEnglish (US)
Title of host publicationProceedings 2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009
Pages193-198
Number of pages6
DOIs
StatePublished - Dec 1 2009
Event2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009 - San Antonio, TX, United States
Duration: Oct 11 2009Oct 14 2009

Publication series

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

Other

Other2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009
CountryUnited States
CitySan Antonio, TX
Period10/11/0910/14/09

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Human-Computer Interaction

Keywords

  • Deadlock prevention
  • Flexible manufacturing system
  • Petri net
  • Supervisory control

Fingerprint Dive into the research topics of 'Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems'. Together they form a unique fingerprint.

Cite this