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

Figure 4

_BDD and _OBDD in MFN_OBDD: (a) the original BDD of ; (b)–(e) _BDD–_BDD; (f)–(k) _OBDD–_OBDD with .