Decision Diagram Based Symbolic Algorithm for Evaluating the Reliability of a Multistate Flow Network

Figure 9

d_MDDs: (a) d_MDD after first loop; (b) result d_MDD.

(a)

(b)