Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems

Figure 7

A fragment of the reachability graph of Example 7.