Arthur Henrique de Andrade Melani [lattes] coal fired power plant cooling tower petri nets reliability analysis