Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs

Xu Ya Cong, Chao Gu, Murat Uzam, Yu Feng Chen, Abdulrahman M. Al-Ahmari, Nai Qi Wu, Meng Chu Zhou, Zhi Wu Li

Research output: Contribution to journalArticlepeer-review

24 Scopus citations

Abstract

This paper develops an approach to the design of an optimal Petri net supervisor that enforces liveness to flexible manufacturing systems. The supervisor contains a set of observer places with weighted inhibitor arcs. An observer place with a weighted inhibitor arc is used to forbid a net from yielding an illegal marking by inhibiting the firing of a transition at a marking while ensuring that all legal markings are preserved. A marking reduction technique is presented to decrease the number of considered markings, which can dramatically lower the computational burden of the proposed approach. An integer linear program is presented to simplify the supervisory structure by minimizing the number of observer places. Finally, several examples are used to shed light on the proposed approach which can lead to an optimal supervisor for the net models that cannot be optimally controlled via pure Petri net supervisors.

Original languageEnglish (US)
Pages (from-to)511-530
Number of pages20
JournalAsian Journal of Control
Volume20
Issue number1
DOIs
StatePublished - Jan 2018

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Mathematics (miscellaneous)

Keywords

  • Deadlock prevention
  • Petri net
  • flexible manufacturing system
  • observer place
  • supervisory control
  • weighted inhibitor arc

Fingerprint

Dive into the research topics of 'Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs'. Together they form a unique fingerprint.

Cite this