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

Figure 6

A controlled S*PR Net of Figure 5.