Abstract: This paper shows how to model a multistate system with multistate components using binary variables. This modeling technique allows current binary algorithms for block diagrams and fault ...