Ficha de Componente Curricular

OBJETIVOS

Objetivo Geral: Desenvolver as habilidades dos discentes em modelagem e simulação de sistemas a eventos discretos.

Objetivos Específicos:

Ao final do curso, o estudante deverá ser capaz de:

1. Aprender a modelar sistemas automatizados;

2. Compreender o funcionamento das Redes de Petri;

3. Ter o conhecimento de como realizar uma simulação computacional de modelos teóricos.

Ementa

Introdução à Modelagem de Sistemas Automatizados, Redes de Petri e Simulação.

PROGRAMA

1. Introdução à Modelagem de Sistemas Automatizados

1.1. Sistemas a Eventos Discretos

1.2. Propriedades

1.3. Características

2. Redes de Petri

2.1. Introdução a autômatos finitos

2.2. Formalismo de Redes de Petri

2.3. Propriedades

2.4. Análise

2.5. Estudo de Caso

3. Simulação

3.1. Introdução à Simulação

3.2. Modelos Simbólicos, Icônicos ou Diagramáticos

3.3. Modelos Matemáticos ou Analíticos

3.4. Modelos de Simulação

3.5. Aplicações da Simulação

3.6. A Metodologia da Simulação

4. Coleta e Modelagem dos Dados de Entrada

4.1. Coleta de Dados

4.2. Tratamento dos Dados

4.3. Testes de Aderência

4.4. Software de Ajuste de Dados (“fitting”)

4.5. Outras Formas de Modelagem de Dados

5. Construção do Modelo Conceitual

5.1. Abstração e Modelos Abstratos

5.2. Construção de Modelos Conceituais – Activity Cycle Diagram

5.3. A Simulação Manual e o Método das Três Fases

5.4. Outras Executivas de Simulação

6. Implementação Computacional do Modelo de Simulação e Softwares de Simulação

6.1. Implementação de Modelos de Simulação

6.2. Linguagem de Programação vs. Linguagem de Simulação vs. Simulador

7. Verificação e Validação de Modelos de Simulação

7.1. Verificação e Validação

7.2. Técnicas de Verificação

7.3. Técnicas de Validação

7.4. Validade dos Dados

8. Dimensionamento e Análise dos Resultados de um Modelo de Simulação

8.1. Regime Transitório vs. Regime Permanente

8.2. Simulação Terminal vs. Simulação Não Terminal

8.3. Escolhendo as Medidas de Desempenho Adequadas

8.4. Diferença entre replicação e rodada

8.5. Confiabilidade dos Resultados

8.6. Analisando os Dados de Saída: Sistemas Terminais

8.7. Analisando os Dados de Saída: Sistemas Não Terminais

8.8. Comparação dos resultados de alternativas simuladas

9. Simulação e Otimização

9.1. Introdução

9.2. Simulação e Otimização

9.3. Caso prático

10. Estudos de Caso

BIBLIOGRAFIA BÁSICA

1. BEST, Eike. Nonsequential processes: a Petri net view. Berlin: Springer, 1988.

2. CHWIF, Leonardo. Modelagem e simulação de eventos discretos: teoria & aplicações. 4. ed. Rio de Janeiro: Elsevier, 2015.

3. COSTA, Eduard Montgomery Meira. Redes de Petri e Aplicações aos Sistemas a Eventos Discretos. [S. l.]: agBook, 2011.

BIBLIOGRAFIA COMPLEMENTAR

1. CARDOSO, Janete. Redes de Petri. 1. ed. Florianópolis: Editora da UFSC, 1997. Disponível em: http://valetterobert.free.fr/indexRP.html. Acesso em: 18 abr. 2018.

2. CASSANDRAS, Christos G.; LAFORTUNE, Stéphane. Introduction to discrete event systems. 2nd ed. New York: Springer Science+Business Media, 2008.

3. DAVID, René. Discrete, continuous, and hybrid Petri Nets. Berlin; New York: Springer, 2005.

4. JENSEN, K. Coloured Petri nets: basic concepts, analysis methods and practical use. Berlin: Springer, 1992.

5. MACIEL, Paulo Romero Martins. Introdução as redes de Petri e aplicações. Campinas: UNICAMP, 1996.

6. MENASCE, Daniel A. Redes de Petri estocásticas. Rio de Janeiro: IBM Rio Scientific Center, 1989.

7. MORAES, Cícero Couto de. Engenharia de automação industrial. 2. ed. Rio de Janeiro: Livros Técnicos e Científicos, c2007.

aprovação

---

Documento assinado eletronicamente por Josué Silva de Morais, Coordenador(a), em 03/04/2019, às 10:44, conforme horário oficial de Brasília, com fundamento no art. 6º, § 1º, do Decreto nº 8.539, de 8 de outubro de 2015.

---

Documento assinado eletronicamente por Sergio Ferreira de Paula Silva, Diretor(a), em 03/04/2019, às 11:41, conforme horário oficial de Brasília, com fundamento no art. 6º, § 1º, do Decreto nº 8.539, de 8 de outubro de 2015.

---

A autenticidade deste documento pode ser conferida no site https://www.sei.ufu.br/sei/controlador_externo.php?acao=documento_conferir&id_orgao_acesso_externo=0, informando o código verificador 1138406 e o código CRC 762ABEA4.

---