Gravar-mail: Redes de Petri no auxílio à gestão da fiabilidade em manutenção : uma abordagem à análise de fiabilidade do grupo eletrogéneo de um hospital de padrões europeus, utilizando redes de Petri