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

Figure 1

An OSC-S*PR net.