Abstract

This paper proposes a deadlock prevention policy for flexible manufacturing systems (FMSs) based on a think-globally-act-locally approach and a structurally minimal method. First, by using the think-globally-act-locally approach, a global idle place is temporarily added to a Petri net model with deadlocks. Then, at each iteration, an integer linear programming problem is formulated to design a minimal number of maximally permissive control places. Therefore, a supervisor with a low structural complexity is obtained since the number of control places is greatly compressed. Finally, by adding the designed supervisor, the resulting net model is optimally or near-optimally controlled. Three examples from the literature are used to illustrate the proposed method.

Keywords

MSC

93-C65

Cite this article

@article{cai-5764,
  author  = {Chengzong Li and Yongyao Li and Yufeng Chen and Naiqi Wu and Zhiwu Li and Pengyu Ma and Husam Kaid},
  title   = {Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-\Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems},
  journal = {Computing and Informatics},
  volume  = {41},
  number  = {5},
  pages   = {1310--1336},
  year    = {2022},
  issn    = {1335-9150},
  doi     = {10.31577/cai_2022_5_1310}
}
Download .bib