Geração e análise dinâmica do espaço de estados de redes de Petri com uso interativo do software CPN tools

• Processo: 13/16352-3
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de outubro de 2013
• Data de Término da vigência: 30 de setembro de 2014
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Orides Morandin Júnior
• Beneficiário: Paulo Roberto Cerioni
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Vinculado ao auxílio: 08/57870-9 - Instituto de Sistemas Embarcados Críticos (ISEC), AP.TEM
• Assunto(s): Inteligência artificial Softwares Redes de Petri Automação industrial Manufatura Metodologia e técnicas de computação Análise dinâmica
• Palavra(s)-Chave do Pesquisador: Espaço de Estados | Extração de informação | Redes de Petri | Software Externo de Controle | Inteligência Artificial

Resumo

Nos últimos anos, mais empresas aplicam técnicas de automação industrial com o objetivo de aumentar sua eficiência. Cada vez mais Veículos Autoguiados (AGVs) são usados para tarefa de transporte em indústrias e armazéns. O gerenciamento desses AGVs é a chave para um sistema de transporte eficiente. Um dos principais problemas encontrados no gerenciamento dos AGVs é a decisão de despacho. A decisão de despacho necessita avaliar muitas variáveis em tempo real para se alcançar bons resultados, e isso normalmente é feito avaliando apenas o status atual da fábrica. Um ganho seria a possibilidade de avaliar situações futuras da fábrica. Esse trabalho propõe o uso de redes de Petri para modelagem de sistemas de manufatura, em que a partir dessa seja possível investigar o espaço de estados da rede em questão e extrair informações do sistema de manufatura, no qual essas informações possam ser usadas posteriormente por um sistema de decisão. Também se propõem que a geração do espaço de estados e extração dos dados sejam de forma automática por meio de um software de controle externo. A validação se dará por meio da modelagem em redes de Petri de cenários de fábrica no software CPN Tools e verificado se o software de controle externo é capaz de se comunicar com a modelagem e gerar o espaço de estados e extrair informações do mesmo. (AU)