Rede de petri

Redes de Petri - RdP

Introdução:

Sistema é uma coleção de itens, entre os quais encontra-se ou define-se uma relação, que é objeto de estudo ou de interesse.

Modelo é uma descrição de um sistema por meio de equações e relações matemáticas bem como de representações gráficas, baseadas em leis ou princípios físicos que governam o sistema, os seja, o modelo é uma abstração do sistema original.

Os modelos podem ser analíticos ou discretos. Os modelos do tipo analítico são formados por uma série de equações matemáticas usadas para prever o comportamento do sistema pela atribuição de valores aos parâmetros do modelo e a solução repetida das equações para cada conjunto de valores. Os modelos do tipo discreto são representados por uma estrutura matemática ou lógica que pode ser exercitada utilizando-se um computador, para simular o comportamento do sistema.

As simulações permitem inferências sobre os sistemas modelados sem a necessidade de construí-los, quando eles são ainda apenas propostas de novos sistemas; sem a necessidade de perturba-los, quando seu custo operacional é alto ou os seus requisitos de segurança impedem ou desaconselham experimentos; e sem o risco de destruí-los, quando se tem que definir os limites do sistema.

Os sistemas de automação e controle digital que desejamos tratar são do tipo a eventos discretos e requerem linguagens e ferramentas de modelagem específicas para o seu tratamento. Dentre as diversas linguagens existentes utilizaremos as Redes de Petri, por constituírem um conjunto de linguagens com

1

forte apelo gráfico que são muito adequadas para o projeto, a especificação a simulação e a verificação de diversos sistemas a eventos discretos, como os que desejamos tratar.

Algumas áreas nas quais encontram-se aplicações típicas das redes de Petri são:

* automação de escritórios;

* automação de manufatura;

* avaliação de desempenho;

* bancos de dados;

* circuitos integrados;