Redes de Petri

Redes de Petri

As redes de Petri surgiram em 1962 como resultado da tese de doutorado do matemático alemão C. A. Petri. De lá para cá, inúmeros estudos pelo mundo afora aprofundaram e introduziram diversas variantes sobre o assunto.

Rede de Petri é uma técnica de modelagem que permite a representação de sistemas, utilizando como alicerce uma forte base matemática. Essa técnica possui a particularidade de permitir modelar sistemas paralelos, concorrentes, assíncronos e não-determinísticos.

A representação gráfica de uma rede de Petri básica é formada por dois componentes: um ativo chamado de transição (barra) e outro passivo denominado lugar (círculo). Os lugares equivalem às variáveis de estado e as transições correspondem às ações realizadas pelo sistema. Esses dois componentes são ligados entre si através de arcos dirigidos. Os arcos podem ser únicos ou múltiplos.

Arcos interligam posições e transições, não podendo conectar posições e posições ou transições e transições. As posições de entrada de uma transição são aquelas as quais um arco se destina. As posições de saída são aquelas das quais um arco se origina.

Posições podem conter qualquer número de marcas. Transições podem ser disparadas, isto é, executadas: quando uma transição é disparada, ela consome uma marca de cada uma das suas posições de entrada, e produz um marca em cada uma das suas posições de saída. Uma transição é habilitada quando ela pode ser disparada, isto é, quando existem marcas em cada posição de entrada.

A execução de uma rede de Petri é não-determinística. Isso significa que múltiplas transições podem ser habilitadas ao mesmo tempo (cada uma pode ser disparada) e que nenhuma transição deve ser obrigatoriamente executada em determinado momento.

A análise da rede de Petri permite avaliar a estrutura e o comportamento dinâmico do sistema modelado. O resultado desta avaliação pode levar a melhorias ou mudanças no sistema.

Extensões

Existem várias extensões para