Introduction - If you have any usage issues, please Google them yourself
Each arc of a binary-state network has good/bad states. The system reliability, the probability
that source s communicates with sink t, can be computed in terms of minimal paths (MPs). An
MP is an ordered sequence of arcs from s to t that has no cycle. Note that a minimal path is
different from the so-called minimum path. The latter is a path with minimum cost.