Minimal cut sets, Petri nets, and prime number encoding in distribution system reliability evaluation | IEEE Conference Publication | IEEE Xplore