[pt] Esta dissertação apresenta um modelo de programação linear para mercados virtuais, que tem como objetivo principal incentivar vendedores a oferecerem preços mais baixos e compradores a pagarem mais pelos produtos. Esse incentivo é feito através de compensações aos participantes do mercado que agirem desta forma. O modelo funciona basicamente como um leilão bi-lateral, onde tanto vendedores quanto compradores podem dar seus lances. Para este modelo básico foram modeladas extensães como: existência de custo de transporte entre vendedores e compradores; economia de escala no preço do comprador; possibilidade de múltiplos produtos em um mesmo leilão. Para o modelo básico e cada uma das extensões propostas foi elaborado o sistema de compensações baseados em princípios da Teoria dos Jogos. Em cada caso, foi verificada a existência de soluções de núcleo e como essas soluções determinam as características do mercado. / [en] This work presents a linear programming model for virtual markets. The main objective is to encourage sellers to offer lower prices and buyers to pay more for products. This is done through a system where the agents are awarded for acting this way. The basic version of the model works as an auction where buyers and sellers can make their bids. Some extensions were developed for this basic model, to allow situations like: transportation cost between buyers and sellers; scale economy for the buyer's price; multiples products in the same auction. For the basic model and each of its extensions, the system of awards has been developed based on Game Theory principles. In each case, the model was reinterpreted as a game and its core solutions were found. It was also verified how these solutions determine market's behavior.