Research on Reconfigurable Mechanism of Manufacturing System for Printing Process Based on ACP

Abstract

The reconfiguration manufacturing system (RMS) allows mass manufacturing to be changed into customized mass production and short-series production. However, the existing RMS models are not applicable to the printing production process, which is coexistence of the hybrid nature of being continuous and discrete. With the printing manufacturing system as the object of the research, this paper proposes the Agent-Resource-Workstation (ARW) model based on agent by analyzing the characteristics of “Production and Consumption of Resources” in the printing process. And then, each component of the ARW model is analyzed and defined. Finally, after systematically abstracting the reconfiguration of workstation models (RWMs), the reconfigurable mechanism of RWMs is established based on the algebra of communicating process (ACP), and formal verification was conducted by applying axioms of process algebra. The verification results show that RWM can show its external behavior well. Meanwhile, our research provides a theoretical approach for the reconfiguration of the printing manufacturing system.