Modeling and Verification of Reconfigurable Printing System Based on Process Algebra

Figure 2

Composite approach of worker model.