REDES DE PETRI EXEMPLOS E METODOLOGIA DE UTILIZAÇÃO

Documentos relacionados
Informática Industrial, ISEP Eduardo Tovar PROBLEMA 2

MODELIZAÇÃO DE SISTEMAS INDUSTRIAIS Redes de PETRI

Cap. 5 - Tiristores 1

Conteúdo. 2. RP - Definições. 1. RP - Introdução PCS Aulas Redes de Petri. Anna Helena Reali Costa Professora Responsável

AULA 22 PROCESSO DE TORNEAMENTO: CONDIÇÕES ECONÔMICAS DE USINAGEM

CAPÍTULO 7 - CIRCUITOS BIESTÁVEIS (FLIP-FLOP)

4 O Papel das Reservas no Custo da Crise

Universidade Federal do Rio de Janeiro

Sistemas Operacionais

3 Modelos de Markov Ocultos

Aplicações à Teoria da Confiabilidade

Circuitos Elétricos I EEL420

4 Modelagem e metodologia de pesquisa

UNIVERSIDADE DA BEIRA INTERIOR FACULDADE DE CIÊNCIAS SOCIAIS E HUMANAS DEPARTAMENTO DE GESTÃO E ECONOMIA MACROECONOMIA III

4 O Fenômeno da Estabilidade de Tensão [6]

MECÂNICA DE PRECISÃO - ELETRÔNICA I - Prof. NELSON M. KANASHIRO FILTRO CAPACITIVO

UNIDADE 2. t=0. Fig. 2.1-Circuito Com Indutor Pré-Carregado

Modelos Não-Lineares

O cliente é a razão do nosso trabalho, a fim de inseri-lo em um novo contexto social de competitividade e empregabilidade.

Modelos BioMatemáticos

Antes de mais nada, é importante notar que isso nem sempre faz sentido do ponto de vista biológico.

Análise de Projectos ESAPL / IPVC. Critérios de Valorização e Selecção de Investimentos. Métodos Dinâmicos

Exercícios Sobre Oscilações, Bifurcações e Caos

Análise e Processamento de BioSinais

Introdução ao Projeto de Aeronaves. Aula 21 Influência da Fuselagem da Superfície Horizontal da Empenagem na Estabilidade Longitudinal Estática

Exercícios sobre o Modelo Logístico Discreto

Lista de Exercícios nº 3 - Parte IV

III Congresso da Sociedade Portuguesa de Estatística Guimarães, 26 a 28 Junho 1995

Capítulo 2: Conceitos Fundamentais sobre Circuitos Elétricos

A CONTABILIZAÇÃO DOS LUCROS DO MANIPULADOR 1

3 Metodologia do Estudo 3.1. Tipo de Pesquisa

Função Exponencial 2013

3 Metodologia 3.1. O modelo

5.3 Escalonamento FCFS (First-Come, First Served)

Aula - 2 Movimento em uma dimensão

MÉTODOS PARAMÉTRICOS PARA A ANÁLISE DE DADOS DE SOBREVIVÊNCIA

Instituto de Física USP. Física V - Aula 26. Professora: Mazé Bechara

MATEMÁTICA APLICADA AO PLANEJAMENTO DA PRODUÇÃO E LOGÍSTICA. Silvio A. de Araujo Socorro Rangel

Tópicos Especiais em Energia Elétrica (Projeto de Inversores e Conversores CC-CC)

Motivação. Prof. Lorí Viali, Dr.

Movimento unidimensional. Prof. DSc. Anderson Cortines IFF campus Cabo Frio MECÂNICA GERAL

Modelos de Crescimento Endógeno de 1ªgeração

3 Retorno, Marcação a Mercado e Estimadores de Volatilidade

Introdução aos multivibradores e circuito integrado 555

4-Sistemas de Controle Feedback (Controle por Realimentação de Estados)

O potencial eléctrico de um condutor aumenta à medida que lhe fornecemos carga eléctrica. Estas duas grandezas são

3 Uma metodologia para validação estatística da análise técnica: a busca pela homogeneidade

Cálculo do valor em risco dos ativos financeiros da Petrobrás e da Vale via modelos ARMA-GARCH

NOTA TÉCNICA. Nota Sobre Evolução da Produtividade no Brasil. Fernando de Holanda Barbosa Filho

Processos de Markov. Processos de Markov com tempo discreto Processos de Markov com tempo contínuo. com tempo discreto. com tempo contínuo

4 Metodologia Proposta para o Cálculo do Valor de Opções Reais por Simulação Monte Carlo com Aproximação por Números Fuzzy e Algoritmos Genéticos.

CONCEITOS FUNDAMENTAIS

2 Reforma Previdenciária e Impactos sobre a Poupança dos Funcionários Públicos

4 CER Compensador Estático de Potência Reativa

18 GABARITO 1 2 O DIA PROCESSO SELETIVO/2005 FÍSICA QUESTÕES DE 31 A 45

Confiabilidade e Taxa de Falhas

Problema de controle ótimo com equações de estado P-fuzzy: Programação dinâmica

Prof. Lorí Viali, Dr. UFRGS Instituto de Matemática - Departamento de Estatística

N(0) número de núcleos da espécie inicial no instante t=0. N(t) número de núcleos da espécie inicial no instante t. λ constante de decaimento

Características dos Processos ARMA

Primeira Lista de Exercícios

A aplicação de Programação por Metas para a geração de horários de exames para o Colégio de Aplicação da Universidade Federal de Viçosa - COLUNI

3 LTC Load Tap Change

Respondidos (parte 13)

EN2607 Transformadas em Sinais e Sistemas Lineares Lista de Exercícios Suplementares 1 2 quadrimestre 2011

DISCIPLINA SÉRIE CAMPO CONCEITO

4 O modelo econométrico

Tabela: Variáveis reais e nominais

CINÉTICA RADIOATIVA. Introdução. Tempo de meia-vida (t 1/2 ou P) Atividade Radioativa

4 Filtro de Kalman. 4.1 Introdução

Voo Nivelado - Avião a Hélice

Sistemas Lineares e Invariantes

MOTIVAÇÃO. CONTEÚDO Introdução MOTIVAÇÃO. CONTEÚDO Introdução Motivação, Objetivo, Definição, Características Básicas e Histórico.

Problema Inversor CMOS

O gráfico que é uma reta

AULA 8 CONDUÇÃO DE CALOR EM REGIME TRANSITÓRIO SISTEMA CONCENTRADO

Conceito. Exemplos. Os exemplos de (a) a (d) mostram séries discretas, enquanto que os de (e) a (g) ilustram séries contínuas.

Detecção e Correcção de Erros Instituto Superior de Engenharia do Porto. 2003/2004 Redes de Computadores I Filipe Costa

DEMOGRAFIA. Assim, no processo de planeamento é muito importante conhecer a POPULAÇÃO porque:

5 Método dos Mínimos Quadrados de Monte Carlo (LSM)

3 O Modelo SAGA de Gestão de Estoques

4 Análise Empírica. 4.1 Definição da amostra de cada país

Análise de Informação Económica e Empresarial

Calcule a área e o perímetro da superfície S. Calcule o volume do tronco de cone indicado na figura 1.

Capítulo 2: Proposta de um Novo Retificador Trifásico

O gráfico que é uma reta

MINISTÉRIO DA EDUCAÇÃO

) quando vamos do ponto P até o ponto Q (sobre a reta) e represente-a no plano cartesiano descrito acima.

*UiILFRGH&RQWUROH(:0$

DENOMINADORES: QUAIS SÃO? COMO SE CALCULAM?

UM MÉTODO RÁPIDO PARA ANÁLISE DO COMPORTAMENTO TÉRMICO DO ENROLAMENTO DO ESTATOR DE MOTORES DE INDUÇÃO TRIFÁSICOS DO TIPO GAIOLA

4. SINAL E CONDICIONAMENTO DE SINAL

3 Método de estimação da relação entre a taxa de câmbio real e os preços de commodities

ANÁLISE DE SÉRIES TEMPORAIS NA PREVISÃO DA RECEITA DE UMA MERCEARIA LOCALIZADA EM BELÉM-PA USANDO O MODELO HOLT- WINTERS PADRÃO

3. Números índice Média aritmética simples Média aritmética simples. Sumário

Latches e Flip-Flops. Nikolas Libert. Aula 09 Eletrônica Digital ET52C Tecnologia em Automação Industrial

Séries temporais Modelos de suavização exponencial. Séries de temporais Modelos de suavização exponencial

DETERMINAÇÃO DA ACELERAÇÃO DA GRAVIDADE

Considere uma economia habitada por um agente representativo que busca maximizar:

Grupo I (Cotação: 0 a 3.6 valores: uma resposta certa vale 1.2 valores e uma errada valores)

Transcrição:

Modelização de Sisemas Indusriais 3 REDES DE ETRI EXEMLOS E METODOLOGIA DE UTILIZAÇÃO As Rd êm a grande vanagem de nos permiir visualizar graficamene ceras relações e noções. Eis algumas das figuras de modelização mais uilizadas: * aralelismo A figura 3, ilusra uma siuação de paralelismo. Após o disparo da ransição, e aé ao disparo da ransição, exisem duas evoluções em paralelo: de a 3 e de a 4. Cada uma desas evoluções pode ser feia ao seu rimo próprio. 3 4 Figura 3 Em cera medida a ransição vai sincronizar as duas sequências... * Sincronização 3 4 a) b) Figura 4

Modelização de Sisemas Indusriais 4 A figura 4a) represena a sincronização recíproca de duas evoluções. Na pare esquerda, a posição esá marcada, mas não pode evoluir enquano a posição 3 não esiver marcada ambém. A parir do momeno em que ambas as posições esejam marcadas a ransição passa a esar disponibilizada e poderá ser disparada. O que foi exposo aplica-se ao caso de apenas 3 esar marcada. A figura 4b) ilusra uma siuação um pouco diferene, mas ambém de sincronização. Nese exemplo, a evolução da pare esquerda é independene da pare direia. O mesmo não se pode dizer da pare direia. A ransição só pode ser disparada após o disparo da ransição. A posição memoriza a auorização de disparo da ransição (sincronização por semáforo). * arilha de Recursos 3 A posição modeliza a disponibilidade de um recurso, que pode ser uilizado pela evolução da pare direia ou da pare esquerda, mas nunca simulaneamene pelas duas. 4 or exemplo rever a figuras (o manipulador é parilhado por um conjuno diverso de sequências de operações - evoluções). Figura 5 Rever ambém o exemplo reraado pela figura 0. Num caso mais geral é provável a exisência de vários recursos idênicos (mais marcas denro de ), e qualquer uma das evoluções poderá uilizar mais recursos simulaneamene.

Modelização de Sisemas Indusriais 5 * Memorização a) b) A figura 6a) memoriza o faco de a ransição er sido disparada e auoriza o disparo poserior de (é uma siuação semelhane à de 4b). De noar que podería ficar habiliada por via de esemunhos provenienes de ouro subsisema (linhas a racejado). ode-se ambém memorizar um número, por exemplo o número de s em sock, pela presença de um número de marcas numa deerminada posição (figura 6b)). * Leiura Figura 6 A figura 7 reraa uma siuação que geralmene se designa por leiura. O disparo da ransição é condicionado pela marcação em, sem no enano modificar essa marcação. Traa-se de fazer uma "leiura" à marcação. Figura 7

Modelização de Sisemas Indusriais 6 * Capacidade Limiada A figura 8 ilusra um funcionameno al que a ransição só é disparada caso a posição conenha menos de duas marcas. Figura 8 Alguns Exemplos de Aplicação das Rd ROBLEMA Numa deerminada célula de fabrico exisem 3 máquinas. Os objecos a maquinar são sujeios a duas operações de maquinação. A sequência de maquinação de cada uma dos objecos é OA OB. ara aumenar a produividade (o empo de maquinação de OA é sensivelmene o dobro de OB) e não esrangular a linha de produção, duas das máquinas (M e M) execuam a operação designada por OA. A máquina 3 (M3) execua OB. OA pode ser efecuada em qualquer das máquinas desinadas ao efeio. A célula de fabrico em um apee de enrada auomaizado por onde chegam os objecos a maquinar. O sinal indica a chegada de um objeco à célula de fabrico. Um sinal agv indica a disponibilidade de um AGV para evacuar a maquinada. Um manipulador (robo) é uilizado para fazer as seguines operações de movimenação (enre parênises sinal de fim de operação): CAR do apee para M (fcar); CAR do apee para M (fcar); CAR3 de M para M3 (fcar3); CAR3 de M para M3 (fcar3); DESC de M3 para o AGV (fdesc);

Modelização de Sisemas Indusriais 7 Operações a execuar em M e M: OA operação A (fopa) Operações a execuar em M3: OB operação B (fopb) Tapee M M M3 robo AGV A figura 9 represena a célula de fabrico do problema. Figura 9 A figura 0 é a Rd que descreve o sisema. De noar a presença de algumas das figuras de esilo aneriormene referidas (em paricular a parilha de recursos). A Rd apresenada na figura 0 não conempla algumas siuações: i) M e M livres. Qual carregar primeiro? ii) Verifica-se fim de OB e M ou M livre e sinal de. O que fazer? Na realidade, a primeira siuação (em ermos de comporameno do sisema) não é muio imporane, e nas Rd só uma das ransições é disparada. É possível modelizar siuações de prioridade como se verá nouros exemplos.

Modelização de Sisemas Indusriais 8 A segunda siuação já é capaz de ser imporane. Se exisir à enrada da célula e uma das máquinas M ou M esá livre poderá ser peferível dar prioridade à operação de carregar M ou M em vez de proceder a DESC. M LIVRE CAR fcar OA robo LIVRE CAR fcar OA M LIVRE fopa fopa CAR3 CAR3 fcar3 M3 LIVRE fcar3 OB fopb agv DESC fdesc Figura 0

Modelização de Sisemas Indusriais 9 M LIVRE CAR fcar OA robo LIVRE CAR fcar OA M LIVRE fopa fopa CAR3 CAR3 fcar3 M3 LIVRE fcar3 OB fopb.agv B fcar3+fcar3 fcar+fcar DESC fdesc A Figura A posição A represena o número de máquinas que execuam a operação OA e esão livres. Quando exise sinal de só se faz a operação DESC se ambas as máquinas M e M esão ocupadas (duas marcas na posição B). Traa-se de fazer uma leiura à posição B...

Modelização de Sisemas Indusriais 0 Imagine-se agora que exisem buffers com capacidade para 5 s quer à enrada quer à saída da célula. O AGV só sai quando no buffer de saída exisirem 5 s já maquinadas. Veja-se a modelização de capacidade limiada. BUF_A CAR fcar robo LIVRE CAR fcar M LIVRE OA OA M LIVRE fopa fopa CAR3 CAR3 fcar3 M3 LIVRE fcar3 OB fopb BUF_B 5 agv 5 DESC fdesc Figura