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

Figure 8

Modeling capabilities of some subclasses of S*PR nets.