Deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using petri nets

Hesuan Hu, Mengchu Zhou, Zhiwu Li, Ying Tang

Research output: Contribution to journalArticlepeer-review

74 Scopus citations

Abstract

In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness enforcing supervisory control investigate AMS with either flexible routes or assembly operations, whereas little work investigates them with both. In this paper, we propose a novel class of systems, which can well deal with both features so as to facilitate the control of more complex AMS. Using structural analysis, we show that liveness of their Petri net model can be attributed to the absence of undermarked siphons, which is realizable by synthesizing a proper supervisory controller. Moreover, an efficient method is developed and verified via AMS examples.

Original languageEnglish (US)
Article number6198336
Pages (from-to)109-121
Number of pages13
JournalIEEE Transactions on Industrial Informatics
Volume9
Issue number1
DOIs
StatePublished - Jan 7 2013

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Information Systems
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Automated manufacturing systems (AMS)
  • Petri nets
  • discrete event systems
  • supervisory control

Fingerprint Dive into the research topics of 'Deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using petri nets'. Together they form a unique fingerprint.

Cite this