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

Figure 2

An S*PR net.