Modeling and verification of reconfigurable printing system based on process algebra (Q1721623)

Summary: With the print production process as the research object in this paper, the intelligent-context-reconfigurable printing system model is analyzed using process algebra (PA). First, combined with the printing production process, the overall framework of the system model, based on the agent-resource-worker (ARW) component model, is proposed. Abstract and formal verification of the system model are then carried out, and the verification process of the complex calibration process is discussed. Finally, the security and progress attributes of the model are validated by mCRL2. The results show that the system model has good reliability.