Bacharelado em Sistemas de Informação - DCET1

URI Permanente para esta coleção

https://saberaberto.uneb.br/handle/20.500.11896/1243
O curso tem como objetivo formar profissionais capacitados com sólidos conhecimentos técnicos, científicos e humanísticos, oferecendo vantagem competitiva na área de desenvolvimento, gestão e pesquisa de tecnologias de informação nas organizações. Durante o curso os discentes têm a oportunidade de vivenciar o ambiente acadêmico e o empresarial, tornando-se profissionais críticos, ativos e cada vez mais conscientes do seu papel social e de sua contribuição para o avanço científico e tecnológico. Autorizado pela Resolução nº 333/05 do CONSU. Reconhecido pelo Decreto Estadual nº 14.848, publicado no DOE de 03.12.2013.

Navegar

Navegando Bacharelado em Sistemas de Informação - DCET1 por Palavras-chave "Algebra Intervalar"

Agora exibindo 1 - 1 de 1
  • Imagem de Miniatura
    Item
    Modelagem, análise e implementação em CLP de SEDs utilizando redes de petri
    (UNEB, 2012-08-10) Bolzanni, Artus; Lima, Evangivaldo Almeida; Oliveira, Paulo James de; Souza, Milton de
    Neste trabalho é proposto e implementado um método de conversão de redes de Petri interpretadas para código compatível com Controladores Lógicos Programáveis (CLPs). Este método tem como uma de suas características dividir em módulos o código para CLP, separando a estrutura lógica da rede de Petri das interfaces de entrada e saída do CLP. Outra contribuição desta pesquisa é a algoritmização e implementação de métodos de redução de redes de Petri temporais, viabilizando a análise de modelos com um espaço de estados muito grande. Como validação das contribuições foi utilizada uma planta industrial didática. Esta foi modelada como uma rede de Petri interpretada, que ´e convertida para rede de Petri temporal e reduzida segundo contribuição do trabalho, foi analisada segundo seu tempo de execução de determinadas tarefas. Após a etapa de análise, o modelo em rede de Petri interpretada foi convertido para código para CLP. Palavras-chave: Rede de Petri, Rede de Petri Interpretada, Rede de Petri Temporal, Controlador Lógico Programável, Planta Industrial, Algebra Intervalar.