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

Figure 5

the constructed net of Figure 4.