Modeling and Verification of Reconfigurable Printing System Based on Process Algebra

Figure 6

State-transition diagram of the system.