Rede de petri

A Rede de Petri é uma ferramenta gráfica/matemática desenvolvida por Carl Adam Petri em sua tese de doutorado na universidade de Darmstadt (Alemanha Ocidental, 1962). Essa ferramenta, ao longo do tempo, foi sendo adaptada para modelar diversos outros tipos de sistemas, sempre baseados em um modelo matemático.
As propriedades, concepções e técnicas das Redes de Petri foram desenvolvidas para fornecer uma boa ferramenta na análise e descrição de sistemas contemplando atividades assíncronas, concorrentes, paralelas e não-determinísticas. A representação gráfica de uma Rede de Petri modela as propriedades de um sistema assim como um fluxograma representa as propriedades de um programa de computador.
A Rede de Petri é graficamente composta por um conjunto básico de símbolos que representam lugares, transições, arco, marca, etc. A seguir, será feita uma breve explanação de cada um destes itens:

• Lugares - representados por círculos, modelam os componentes estáticos (passivos) dos sistemas,
• Transições - representado por uma barra, modelam os componentes dinâmicos (ativos) dos sistemas,
• Arcos - representado por um arco finalizado por uma seta que determinada a direção do fluxo da ação, modelam o resultado de uma ação do sistema, ou seja, a transformação de um estado para outro.
• Marca - representado por um ponto preto, é associada aos lugares para indicar o status do sistema em um determinado momento.

Além de propriedades estáticas, as Rede de Petri possuem propriedades dinâmicas que são resultantes da execução do modelo gráfico. Para controlar esta execução, utilizam-se marcas, que residem nos lugares, indicando em que estado se encontra o modelo.
O movimento das marcas é controlado por certas regras:
• Uma marca só pode se movimentar de um lugar para outro lugar quando ocorre o disparo de uma transição,
• Uma transição só pode ser disparada quando todos os lugares de entrada desta transição estão habilitados, ou seja, possuem uma marca,
• No