Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing Systems
Industry 5.0 aims to integrate humans and machines to achieve greater productivity, personalization, and sustainable development in the production process. Built on the foundation of Industry 4.0 which emphasizes automation, digitalization, and intelligent production processes, Industry 5.0 highligh...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2025-02-01
|
| Series: | Engineering Proceedings |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2673-4591/89/1/10 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849472385999175680 |
|---|---|
| author | Yen-Liang Pan Wen-Yi Chuang Kuang-Hsiung Tan Ching-Yun Tseng |
| author_facet | Yen-Liang Pan Wen-Yi Chuang Kuang-Hsiung Tan Ching-Yun Tseng |
| author_sort | Yen-Liang Pan |
| collection | DOAJ |
| description | Industry 5.0 aims to integrate humans and machines to achieve greater productivity, personalization, and sustainable development in the production process. Built on the foundation of Industry 4.0 which emphasizes automation, digitalization, and intelligent production processes, Industry 5.0 highlights the importance of human resources in modern manufacturing. Robotic arms have replaced traditional manpower, particularly in flexible manufacturing systems. However, integrating advanced machinery into workflows has increased competition in terms of securing resources, resulting in frequent deadlocks. Various deadlock prevention policies have been proposed to address this issue. Despite these efforts, resolving system deadlocks while achieving the optimal number of reachable states remains challenging. Based on existing research, we have developed a novel deadlock recovery method applicable to various flexible manufacturing systems. We designed an adaptable system and a controller that can restore the system to its fully operational state. |
| format | Article |
| id | doaj-art-3414fe87923742e495ad6bdbf9d1fd2f |
| institution | Kabale University |
| issn | 2673-4591 |
| language | English |
| publishDate | 2025-02-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Engineering Proceedings |
| spelling | doaj-art-3414fe87923742e495ad6bdbf9d1fd2f2025-08-20T03:24:33ZengMDPI AGEngineering Proceedings2673-45912025-02-018911010.3390/engproc2025089010Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing SystemsYen-Liang Pan0Wen-Yi Chuang1Kuang-Hsiung Tan2Ching-Yun Tseng3Department of Aeronautical Engineering, Chaoyang University of Technology, Taichung 413310, TaiwanDepartment of Electrical and Electronic Engineering, Chung Cheng Institute of Technology, National Defense University, Taoyuan 335009, TaiwanDepartment of Electrical and Electronic Engineering, Chung Cheng Institute of Technology, National Defense University, Taoyuan 335009, TaiwanMathematics and Physics Division, General Education Center, R.O.C. Air Force Academy, Kaohsiung City 820009, TaiwanIndustry 5.0 aims to integrate humans and machines to achieve greater productivity, personalization, and sustainable development in the production process. Built on the foundation of Industry 4.0 which emphasizes automation, digitalization, and intelligent production processes, Industry 5.0 highlights the importance of human resources in modern manufacturing. Robotic arms have replaced traditional manpower, particularly in flexible manufacturing systems. However, integrating advanced machinery into workflows has increased competition in terms of securing resources, resulting in frequent deadlocks. Various deadlock prevention policies have been proposed to address this issue. Despite these efforts, resolving system deadlocks while achieving the optimal number of reachable states remains challenging. Based on existing research, we have developed a novel deadlock recovery method applicable to various flexible manufacturing systems. We designed an adaptable system and a controller that can restore the system to its fully operational state.https://www.mdpi.com/2673-4591/89/1/10Petri Netflexible manufacturing systemscontroller synthesis |
| spellingShingle | Yen-Liang Pan Wen-Yi Chuang Kuang-Hsiung Tan Ching-Yun Tseng Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing Systems Engineering Proceedings Petri Net flexible manufacturing systems controller synthesis |
| title | Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing Systems |
| title_full | Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing Systems |
| title_fullStr | Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing Systems |
| title_full_unstemmed | Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing Systems |
| title_short | Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing Systems |
| title_sort | design of maximally permissive controllers for solving deadlock problems in flexible manufacturing systems |
| topic | Petri Net flexible manufacturing systems controller synthesis |
| url | https://www.mdpi.com/2673-4591/89/1/10 |
| work_keys_str_mv | AT yenliangpan designofmaximallypermissivecontrollersforsolvingdeadlockproblemsinflexiblemanufacturingsystems AT wenyichuang designofmaximallypermissivecontrollersforsolvingdeadlockproblemsinflexiblemanufacturingsystems AT kuanghsiungtan designofmaximallypermissivecontrollersforsolvingdeadlockproblemsinflexiblemanufacturingsystems AT chingyuntseng designofmaximallypermissivecontrollersforsolvingdeadlockproblemsinflexiblemanufacturingsystems |