Manejo de excepciones de correctitud de diagrama de estado