Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
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-wo...
Main Authors: | Rubai Luo, Shasha Gao, Huailin Li, Shisheng Zhou |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi Limited
2018-01-01
|
Series: | Mathematical Problems in Engineering |
Online Access: | http://dx.doi.org/10.1155/2018/9189836 |
Similar Items
-
Operation Chain Model of Reconfigurable Printing Manufacturing System Based on Stochastic Process Algebra
by: Huailin Li, et al.
Published: (2019-01-01) -
Research on Reconfigurable Mechanism of Manufacturing System for Printing Process Based on ACP
by: Huailin Li, et al.
Published: (2018-01-01) -
Preparation of Fluorine-Free Superhydrophobic Paper with Dual-Response of Temperature and pH
by: Bin Du, et al.
Published: (2020-11-01) -
Formal verification of process algebra systems
by: Compton, Michael James
Published: (2008) -
Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems
by: Jiafeng Zhang, et al.
Published: (2015-01-01)