1-Introdução

      É muito comum usar as redes de Petri para representar o comportamento de falha e reparo de sistemas computacionais. Por exemplo, um data center pode ser considerado operacional se um conjunto de recursos estiver funcionando corretamente como energia, sistema de refrigeração, hardware, software, etc. Abaixo é apresentado um data center composto por um conjunto de servidores, os quais estão conectados à internet, à rede de energia elétrica e ao sistema de refrigeração. Além disso, o data center possui profissionais de TI para a manutenção, e caso ocorram quedas de energia, o data center poderá utilizar a energia obtida a partir de um gerador.

      Como mostrado acima, a infraestrutura de um data center possui vários componentes. Dependendo do que queremos estudar nesse tipo de sistema, apenas precisamos focar nos detalhes que nos interessam. Por exemplo, se quisermos estudar apenas a disponibilidade do sistema como um todo, não é preciso modelar todos os detalhes desse sistema (ex.: rede elétrica, funcionário de TI, etc.). Ou seja, podemos considerar apenas se o sistema está operacional ou não. Abaixo é mostrado um modelo que representa o comportamento de falha e reparo do sistema em questão. Nesse modelo, os lugares Disponível e Indisponível representam os estados do data center, enquanto transições Falha e Reparo representam a falha e o reparo do data center. O estado inicial do modelo é representado por uma marca (token) no lugar Disponível, correspondente à situação atual do modelo.