Modelagem e controle de estoque automatizado com base em Controle Supervisório de Sistemas a Eventos Discretos

Trabalho Prático
Sistemas a Eventos Discretos

ALUNOS: GUSTAVO VIEIRA LINHARES – 2011018000
HUDSON LUIZ SILVA DE MIRANDA – 2011018034
RAMON GOMES DURAES DE OLIVEIRA - 2011018352
PROFESSORES: PATRÍCIA NASCIMENTO PENA
BRUNO VILHENA ADORNO
DATA: 08/12/2013

1 INTRODUÇÃO
1.1 INSPIRAÇÃO: TORRES DE HANOI
O problema das Torres de Hanoi é um dos desafios matemáticos clássicos. Trata-se de uma torre formado por discos de tamanhos decrescentes da base até o topo, montada ao redor de um pino. O objetivo é transferir essa torre para outro pino, usando apenas outro pino auxiliar.

As seguintes regras devem ser seguidas:



Apenas um disco pode ser movido por vez;
Discos maiores não podem ser colocados sobre os menores.
Dessa forma, a solução para um problema com 4 discos seria a seguinte:

Esse sistema é, indiscutivelmente, um sistema a eventos discretos. O problema escolhido para ser modelado nesse trabalho é baseado nas torres de Hanoi.

1.2 O PROBLEMA: PILHAS DE BLOCOS COLORIDOS
A situação considerada é a seguinte: dadas diversas pilhas de blocos, com diferentes cores, deseja-se montar uma nova pilha com uma sequência de blocos definida com um número mínimo de movimentos. A sequência desejada na nova pilha (pilha resultado) é uma entrada do sistema.

As seguintes regras devem ser seguidas:



Apenas um bloco pode ser movido por vez;
Os blocos retirados do topo de uma pilha só podem ser colocados no topo de outras pilhas já montadas, ou na pilha que se deseja montar.

A solução desse problema depende da situação inicial das pilhas de blocos. A configuração inicial das pilhas é outra entrada do sistema.
Para a solução do problema, os seguintes parâmetros são estabelecidos:
𝑇 = tamanho máximo das pilhas
𝑃 = número de pilhas
𝐶 = número de cores diferentes no sistema
Uma vez que as pilhas tem tamanhos máximo e os blocos só podem ser movidos para outras pilhas, também deve ser observado um número máximo de blocos no sistema inicial. Do contrário, é possível que todas as