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