Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra
The competition for shared resources in printing manufacturing system may lead to deadlock, which could cause unnecessary downtime and bring vast economic loss for enterprises. Supervisor is widely studied in the literature to solve the deadlock control problem. With the objective of improving the r...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2023-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/10100720/ |
_version_ | 1797805867090837504 |
---|---|
author | Huailin Li Qinsen Liu Mengnan Liu Bangyong Sun Bin Du |
author_facet | Huailin Li Qinsen Liu Mengnan Liu Bangyong Sun Bin Du |
author_sort | Huailin Li |
collection | DOAJ |
description | The competition for shared resources in printing manufacturing system may lead to deadlock, which could cause unnecessary downtime and bring vast economic loss for enterprises. Supervisor is widely studied in the literature to solve the deadlock control problem. With the objective of improving the robustness of reconfigurable printing manufacturing system (RPMS), this paper designs a new Agent- Resource- Workstation (ARW) model with a supervisor. A new reconfiguration of workstation models (NRWMs) is proposed based on ARW model. The supervisors can control reconfiguration behavior of NRWMs by limiting the time and frequency of interaction between workstation models. Then, formal verification is performed by process algebra to show its external behavior. We use the mCRL2 tool to carry out simulation experiments on NRWMs and provide the experimental results. The results show that robust deadlock control policy for the RPMS is secure and effective. |
first_indexed | 2024-03-13T05:58:35Z |
format | Article |
id | doaj.art-0a0cab1fbd8341288ecac0576e3b69b5 |
institution | Directory Open Access Journal |
issn | 2169-3536 |
language | English |
last_indexed | 2024-03-13T05:58:35Z |
publishDate | 2023-01-01 |
publisher | IEEE |
record_format | Article |
series | IEEE Access |
spelling | doaj.art-0a0cab1fbd8341288ecac0576e3b69b52023-06-12T23:02:12ZengIEEEIEEE Access2169-35362023-01-0111424734248410.1109/ACCESS.2023.326666110100720Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process AlgebraHuailin Li0Qinsen Liu1Mengnan Liu2Bangyong Sun3https://orcid.org/0000-0002-0265-1785Bin Du4https://orcid.org/0000-0003-1302-1348Faculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, ChinaFaculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, ChinaState Key Laboratory of Power System of Tractor, Luoyang, ChinaFaculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, ChinaFaculty of Printing, Packaging Engineering and Digital Media Technology, Xi’an University of Technology, Xi’an, ChinaThe competition for shared resources in printing manufacturing system may lead to deadlock, which could cause unnecessary downtime and bring vast economic loss for enterprises. Supervisor is widely studied in the literature to solve the deadlock control problem. With the objective of improving the robustness of reconfigurable printing manufacturing system (RPMS), this paper designs a new Agent- Resource- Workstation (ARW) model with a supervisor. A new reconfiguration of workstation models (NRWMs) is proposed based on ARW model. The supervisors can control reconfiguration behavior of NRWMs by limiting the time and frequency of interaction between workstation models. Then, formal verification is performed by process algebra to show its external behavior. We use the mCRL2 tool to carry out simulation experiments on NRWMs and provide the experimental results. The results show that robust deadlock control policy for the RPMS is secure and effective.https://ieeexplore.ieee.org/document/10100720/Reconfigurable manufacturing systemrobust controlprocess algebraprinting processARW model |
spellingShingle | Huailin Li Qinsen Liu Mengnan Liu Bangyong Sun Bin Du Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra IEEE Access Reconfigurable manufacturing system robust control process algebra printing process ARW model |
title | Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra |
title_full | Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra |
title_fullStr | Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra |
title_full_unstemmed | Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra |
title_short | Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra |
title_sort | robust deadlock control for reconfigurable printing manufacturing system based on process algebra |
topic | Reconfigurable manufacturing system robust control process algebra printing process ARW model |
url | https://ieeexplore.ieee.org/document/10100720/ |
work_keys_str_mv | AT huailinli robustdeadlockcontrolforreconfigurableprintingmanufacturingsystembasedonprocessalgebra AT qinsenliu robustdeadlockcontrolforreconfigurableprintingmanufacturingsystembasedonprocessalgebra AT mengnanliu robustdeadlockcontrolforreconfigurableprintingmanufacturingsystembasedonprocessalgebra AT bangyongsun robustdeadlockcontrolforreconfigurableprintingmanufacturingsystembasedonprocessalgebra AT bindu robustdeadlockcontrolforreconfigurableprintingmanufacturingsystembasedonprocessalgebra |