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

Figure 4

An S*PR net modeling the system in Figure 3.