Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems

Authors

  • Chengzong Li Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China
  • Yongyao Li Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China
  • Yufeng Chen Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China
  • Naiqi Wu Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China
  • Zhiwu Li Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China
  • Pengyu Ma Hitachi Building Technology (Guangzhou) Co. Ltd., Guangzhou 510700, China
  • Husam Kaid Industrial Engineering Department, College of Engineering, Taibah University, Medina 42353, Saudi Arabia

DOI:

https://doi.org/10.31577/cai_2022_5_1310

Keywords:

Flexible manufacturing system, deadlock prevention, think-globally-act-locally approach, structurally minimal method, maximal permissiveness

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.

Downloads

Download data is not yet available.

Downloads

Published

2022-12-31

How to Cite

Li, C., Li, Y., Chen, Y., Wu, N., Li, Z., Ma, P., & Kaid, H. (2022). Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems. COMPUTING AND INFORMATICS, 41(5), 1310–1336. https://doi.org/10.31577/cai_2022_5_1310