Operation Chain Model of Reconfigurable Printing Manufacturing System Based on Stochastic Process Algebra

Abstract

When printing orders change, the reconfigurable printing manufacturing system (RPMS) needs to be reconfigured, which produces many feasible reconfiguration schemes. To find the optimal reconfiguration scheme and verify its integrity, an operation chain model (OCM) of an RPMS is proposed to describe the operating process of an RPMS. First, a comprehensive evaluation algorithm considering both subjective and objective evaluation probabilities is designed by analyzing the characteristics of the printing production process. Then, the syntax of stochastic process algebra is conservatively extended to meet the operation chain's specifications. The syntax and transition rules of the OCM are defined and the semantic model of the operation chain is constructed. Finally, we carried out experiments on the RPMS of a printing enterprise and provide the experimental results. The results show that the optimal printing scheme that is selected by the OCM is in line with expectations. In addition, the measurement result I CP = true shows that the optimal reconfigurable printing scheme process has good integrity.INDEX TERMS Reconfigurable printing manufacturing system, comprehensive evaluation algorithm, stochastic process algebra, operation chain model, integrity measurement.

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks

“…Finally, except for the deadlock freedom property, data consistency and soundness are also important aspects of concurrent systems [67][68][69][70][71][72][73]. [44,74,75] have proposed several Petri net unfolding-based methods to verify these properties, including verifying CTL (Computation Tree Logic), detecting data inconsistency, and checking soundness of workflow systems.…”

A Job Sequence Optimization Approach for Parallel Machine Scheduling Problem in Printing Manufacturing Systems

“…In recent years, market demand has changed significantly in both the printing industry [1] and the food packaging industry [2], [3]. From the original single type and large batch to multi-variety and small batch, especially the customized and high-fidelity color printing matters have attracted the attention of customers [4]. The high-fidelity (Hi-Fi) color printing matters require printing presses to have a wider color gamut range.…”

Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra

“…Unpredictable and frequent market changes including demand fluctuations and rapid introduction of new products make the development of cost effective and responsive manufacturing systems a necessity for companies to survive in the new competitive environment [1], [2]. In the late 1990s, the concept of reconfigurable manufacturing system (RMS) is proposed by Y. Koren, the professor of University of Michigan [3].…”