Back to Search Start Over

SYNTHESIS OF LIVENESS-ENFORCING PETRI NET SUPERVISORS BASED ON A THINK-GLOBALLY-ACT-LOCALLY APPROACH AND A STRUCTURALLY MINIMAL METHOD FOR FLEXIBLE MANUFACTURING SYSTEMS.

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
Yongyao LI
Yufeng CHEN
Naiqi WU
Zhiwu LI
Pengyu MA
KAID, Husam
Source :
Computing & Informatics; 2022, Vol. 41 Issue 5, p1310-1336, 27p
Publication Year :
2022

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. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
13359150
Volume :
41
Issue :
5
Database :
Supplemental Index
Journal :
Computing & Informatics
Publication Type :
Academic Journal
Accession number :
162863555
Full Text :
https://doi.org/10.31577/cai_2022_5_1310