Modelagem e programação de sistemas a eventos discretos periodicos

• Main Author: Portugal, Denise Sodero Vinhas
• Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
• Format: Others
• Language: Portuguese
• Published: [s.n.] 2006
• Subjects: Redes de petri; Processos de fabricação - Automação; Escalonamento de produção; Otimização combinatória; Petri net; Industrial automation; Cyclic scheduling; Combinatorial optimization
• Online Access: PORTUGAL, Denise Sodero Vinhas. Modelagem e programação de sistemas a eventos discretos periodicos. 2006. 177p. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/261069>. Acesso em: 7 ago. 2018.; http://repositorio.unicamp.br/jspui/handle/REPOSIP/261069

Orientador: Rafael Santos Mendes === Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação === Made available in DSpace on 2018-08-07T23:46:24Z (GMT). No. of bitstreams: 1 Portugal_DeniseSoderoVinhas_D.pdf: 1731980 bytes, checksum: 98f3bdce8b6d0d6e00e2c6c96ba968f7 (MD5) Previous issue date: 2006 === Resumo: Uma metodologia para obter um escalonamento cíclico em Sistemas a Eventos Discretos é proposta neste trabalho. Esta metodologia parte de uma rede de Petri que modela minimamente um sistema a eventos discretos funcionando em regime periódico. O método identifica quais são as redes que podem ser tratadas por ele. As redes de Petri tratáveis serão decompostas em subredes identificadas por processos, que são classificados de acordo com suas topologias, o que permite a modelagemdo escalonamento cíclico do sistema através de uma modelagem em programação linear inteira mista. Este modelo em MILP será implementado no software GAMS. Alguns exemplos tirados da literatura serão usados para mostrar e testar a aplicação desta metodologia === Abstract: A methodology to obtain a cyclic scheduling in Discrete Events Systems is proposed in this work. This methodology initializes with a Petri netmodeling a discrete events system functioning with periodic processing. The method identifieswhich are the nets that can be treaties by him. The ¿tractable¿ Petri nets will be decomposed in subnets identified by process, which are classified according to its topologies, that permits us tomodel the cyclic scheduling of the systemby amixed integer linear programming model. This model in MILP will be implemented using software GAMS. Some examples from the literature will be used to show and to test the application of this methodology === Doutorado === Automação Industrial === Doutor em Engenharia Elétrica