2-Modelagem Básica

      De forma sucinta, quando falamos em "Falha e Reparo" estamos nos referindo a sistemas cujos elementos podem estar, por exemplo, ligados ou desligados, funcionando ou não funcionando, disponíveis ou indisponíveis. Abaixo é mostrada uma rede que representa o comportamento de falha e reparo de um computador, onde ele pode assumir dois estados: ligado e desligado. Adicionalmente, o modelo inicia no estado ligado, devido à presença de um token no lugar Ligado.

      Em tecnologia da informação, redundância é uma abordagem que visa aumentar a tolerância a falha dos sistemas. Um dos tipos de redundância usados em sistemas distribuídos é o "hot standby". Essa redundância consiste de duas infraestruturas redundantes, sendo uma a primária e a outra a secundária. A primária é a infraestrutura onde os processos estão sempre ocorrendo , enquanto a secundária é a infraestrutura de redundância, isto é, caso a infraestrutura primária falhe, a secundária é ativada. Mas note que pelo fato de ser uma redundância do tipo "hot-standby", a infraestrutura secundária está sempre ligada. Ou seja, ela está pronta para receber a carga de trabalho caso a primária falhe, visto que seus dados são mantidos em sincronia com a infraestrutura primária. O modelo abaixo representa a técnica de redundância "hot standby", onde as duas infraestruturas são representadas pelos dois tokens no lugar Funcionando.