Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility

Figure 7

The constructed net of Figure 6.