Transformação e validação de Modelos de Diagrama de Sequencia UML com restrições de tempo e energia para redes de Petri temporais