Enviar Registro por Correo electrónico: A polynomial translation of mobile ambients into safe petri nets :