2-Modelagem Básica

      Uma das diversas variáveis meteorológicas usadas para prever as chuvas é a temperatura. Suponha que em uma região exista um sistema de sensores que capte a temperatura do ambiente. De modo que tenha tolerância a falhas (redundância), esse sistema é composto por 5 sensores de temperatura idênticos. Um sensor falha, em média, a cada 24 horas, e, em média, um sensor é reparado em 5 horas. Além disso, quando a quantidade de sensores em funcionamento for menor que 3, uma mensagem é enviada para um servidor. Essa mensagem leva um tempo médio de 0.0001 hora. Considere que inicialmente todos os sensores estão funcionando. Crie uma rede de Petri que representa esse sistema. Dica: use arco inibidor.