Rede de petri

Disponível somente no TrabalhosFeitos
  • Páginas : 2 (370 palavras )
  • Download(s) : 0
  • Publicado : 18 de junho de 2012
Ler documento completo
Amostra do texto
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 dotempo, 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 parafornecer 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 aspropriedades 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 representamlugares, 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) dossistemas,
• 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 dofluxo 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 dosistema 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 paraoutro 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...
tracking img