Anderson A. Giacomolli
agiacomolli@gmail.com
REDES DE PETRI
INTRODUÇÃO
Prepare-se para as provas
Estude fácil! Tem muito documento disponível na Docsity
Ganhe pontos para baixar
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Guias e Dicas
Prepare-se para as provas
Estude fácil! Tem muito documento disponível na Docsity
Encontrar documentos
Prepare-se para as provas com trabalhos de outros alunos como você, aqui na Docsity
Pesquisar documentos Store
Os melhores documentos à venda: Trabalhos de alunos formados
Videoaulas
Prepare-se com as videoaulas e exercícios resolvidos criados a partir da grade da sua Universidade
Quiz
Responda perguntas de provas passadas e avalie sua preparação.
Ganhe pontos para baixar
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Comunidade
Pergunte à comunidade
Peça ajuda à comunidade e tire suas dúvidas relacionadas ao estudo
Ranking universidades
Descubra as melhores universidades em seu país de acordo com os usuários da Docsity
Guias grátis
Os eBooks que salvam estudantes!
Baixe gratuitamente nossos guias de estudo, métodos para diminuir a ansiedade, dicas de TCC preparadas pelos professores da Docsity
Redes de petri apresentação, Notas de estudo de Estruturas Discretas e Teoria dos Grafos
Apresentação sobre redes de petris
Tipologia: Notas de estudo
2020
1 / 50
Esta página não é visível na pré-visualização
Não perca as partes importantes!
Documentos relacionados
Pré-visualização parcial do texto
Baixe Redes de petri apresentação e outras Notas de estudo em PDF para Estruturas Discretas e Teoria dos Grafos, somente na Docsity!
Anderson A. Giacomolli agiacomolli@gmail.com
REDES DE PETRI
INTRODUÇÃO
REDES DE PETRI
Carl Petri desenvolveu o método de estudo de sistemas dinâmicos a eventos discretos em uma tese de doutorado dedicada à Comunicação entre Autômatos em 1962.
As Redes de Petri destacam-se na engenharia por:
Capturar relações de precedência e vínculos estruturais dos sistemas reais. Serem graficamente expressivas. Modelarem conflitos e filas. Terem fundamento matemático e prático. Admitirem várias especializações.
ELEMENTOS
Posição: um círculo que representa um estado parcial, procedimento ou conjunto de recursos. Token ou marca: um ponto sobre uma posição que pode representar um objeto (recurso ou peça) uma certa posição geográfica.
Transição: representada por uma barra ou retângulo, está associada a um evento que ocorre no sistema, como por exemplo iniciar a operação.
Arco orientado: parte de alguma posição para alguma transição ou vice-versa. Um arco nunca pode conectar duas posições ou duas transições. Aos arcos associam-se números inteiros, que são seus pesos.
APLICAÇÕES DAS REDES DE PETRI
Avaliação de desempenho sequencial.
Análise e verificação formal em sistemas discretos.
Projeto e avaliação de protocolos de comunicação.
Controle de oficinas de fabricação.
Projeto e avaliação de softwares de tempo real e/ou distribuído.
Interface homem-máquina.
Gerência de base de dados e sistemas de informação.
EXEMPLO DE EXECUÇÃO 1
PEÇA EM ESPERA
MÁQUINA LIVRE
MÁQUINA EM OPERAÇÃO
t
Após disparo de t
PRÉ-SET E PÓS-SET
Pré-set de t : é conjunto das posições P a partir das quais existe arco para a transição t.
Pós-set de t : é o conjunto das posições P para as quais existe arco oriundo da transição t.
Pré-sets de t 1 : p 1 e p 2 Pós-set de t 1 : p 3
EXEMPLO DE EXECUÇÃO 2
Dada a marcação inicial, ocorrem duas execuções sucessivas mediante a sequência de disparo t 1 e t 2.
TRANSIÇÃO t 1 ESTÁ HABILITADA PORQUE O NÚMERO DE MARCAS É IGUAL AO PESO DOS ARCOS QUE CHEGAM EM t 1.
TRANSIÇÃO t 2 NÃO ESTÁ HABILITADA PORQUE O NÚMERO DE MARCAS É MENOR DO QUE O PESO DOS ARCOS QUE CHEGAM EM t 2.
EXEMPLO DE EXECUÇÃO 2
Dada a marcação inicial, ocorrem duas execuções sucessivas mediante a sequência de disparo t 1 e t 2.
Após disparo de t 1
EXEMPLO DE EXECUÇÃO 3
Modelo de Rede de Petri representando a montagem de uma peça a partir de outras duas peças.
Para montar uma peça P3 são utilizadas duas peças P1 e uma peça P2.
P
P2 (^) P
Os lugares P1 e P2 representam o número de peças disponíveis.
P3 representa o número de peças montadas.
A transição t indica o evento de montagem.
EXEMPLO DE EXECUÇÃO 3
Modelo de Rede de Petri representando a montagem de uma peça a partir de outras duas peças.
Para montar uma peça P3 são utilizadas duas peças P1 e uma peça P2.
P1^ Após disparo de^ t
P2 (^) P
Os lugares P1 e P2 representam o número de peças disponíveis.
P3 representa o número de peças montadas.
A transição t indica o evento de montagem.
NÚMERO TOTAL DE MARCAS
O número total de marcas na Rede de Petri pode mudar durante a execução.
EXEMPLO 1
Um único disparo é possível. Retira duas marcas de p 1 e coloca uma marca em p 2.
NÚMERO TOTAL DE MARCAS
O número total de marcas na Rede de Petri pode mudar durante a execução.
EXEMPLO 2
Um único disparo é possível. Retira duas marcas de p 1 e coloca três marcas em p 2.
NÚMERO TOTAL DE MARCAS
O número total de marcas na Rede de Petri pode mudar durante a execução.
EXEMPLO 3
Sequência possível de disparos: t 1 , t 2 , t 1 , t 2 , t 1 ...
NÚMERO TOTAL DE MARCAS
O número total de marcas na Rede de Petri pode mudar durante a execução.
EXEMPLO 3
Sequência possível de disparos: t 1 , t 2 , t 1 , t 2 , t 1 ...