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.
InstructionAt present, the direction of international advanced printing manufacturing system is going gradually to digital network and intelligence. Reconfigurable printing manufacturing system (RPMS) provides the best way to do this. In the late 1990s, Y. Koren, the professor of University of Michigan, proposed the concept of reconfigurable manufacturing system [1]. The model and design theory of reconfigurable systems mostly focused on the discrete manufacturing system, which is typical of machining. Because function block model is regarded as the key to improve the efficiency of reconstruction, we abstract model from the function block of system before reconstructing the printing manufacturing system, and then the model is formally verified. Finally, the reconfigurable principle of the manufacturing system is explored.Recently, agent-based function block and IEC 61499-based function block are proposed for the RMS. Mulibika and Basson [2], as well as Kruger and Basson [3], have compared these two approaches. Although Valentea, Mazzolinib, and Carpanzanoa [4] have confirmed that IEC 61499 holds promise for RMS applications, there has been a severe lack of support for this standard by major automation controller vendors, and the development platforms to support this approach are not mature enough to be attractive to the industry. IEC 61499 further does not make provision for dynamic instantiation, which inhibits its ability to implement holonic control architectures [5]. However, most research in RMS has used the agent-based system, such as referred to in [6][7][8][9][10][11][12][13]. A. Maka et al. have used agent-based modeling in modeling decision-making systems, which allows more flexibility than standard central management systems [6]. The use of agent-based systems allows mass manufacturing to be changed into customized mass production and short-series production, as recently confirmed by R Cupek et al. [7]. The most important...