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.
- 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