Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks