Otimização de Provisionamento de Largura de Banda Utilizando Redes de Petri Na Modelagem de Comportamento de Clientes e Provedores Documento