Hybrid liveness-enforcing policy for generalized petri net models of flexible manufacturing systems

Ding Liu, Zhiwu Li, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

36 Scopus citations

Abstract

This paper proposes a hybrid liveness-enforcing method for a class of Petri nets, which can well model many flexible manufacturing systems. The proposed method combines elementary siphons with a characteristic structure-based method to prevent deadlocks and enforce liveness to the net class under consideration. The characteristic structure-based method is further advanced in this work. It unveils and takes a full advantage of an intrinsically live structure of generalized Petri nets, which hides behind the arc weights, to achieve the liveness enforcement without any external control agent such as monitors. This hybrid method can identify and remove redundant monitors from a liveness-enforcing supervisor designed according to existing policies, improve the permissiveness, reduce the structural complexity of a controlled system, and consequently save the control implementation cost. Several examples are used to illustrate this method.

Original languageEnglish (US)
Pages (from-to)85-97
Number of pages13
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume43
Issue number1
DOIs
StatePublished - Jan 1 2013

All Science Journal Classification (ASJC) codes

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

Keywords

  • Flexible manufacturing system (FMS)
  • Livenessenforcing supervisor
  • Petri net
  • Siphon.

Fingerprint Dive into the research topics of 'Hybrid liveness-enforcing policy for generalized petri net models of flexible manufacturing systems'. Together they form a unique fingerprint.

Cite this