Se establecen vínculos causales entre los estados, que indicarán que una operación lleva de un estado al otro.