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

Figure 5

_OBDD in MFN_OBDD: (a)–(c) _OBDD()–_OBDD.

(a) _OBDD

(b) _OBDD

(c) _OBDD