Portal de Periódicos da CAPES

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

2018; Hindawi Publishing Corporation; Volume: 2018; Linguagem: Inglês

10.1155/2018/2323746

1563-5147

Huailin Li, Rubai Luo, Shisheng Zhou, Shasha Gao,

Scheduling and Optimization Algorithms

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.