Proposta de sistematização para a modelagem em redes de Petri de alto nível

Abstract

Os avanços tecnológicos e o aumento da complexidade dos processos nas plantas industriais influenciado principalmente pelo crescente aumento de equipamentos inteligentes empregados nos processos de manufatura têm exigido cada vez mais a proposição de novas técnicas de modelagem dos Sistemas Flexíveis de Manufatura (SFM). As ferramentas derivadas de rede de Petri (RdP) se mostram eficientes para a modelagem e projeto de sistemas de controle para SFM. Neste contexto, RdP interpretadas permitem representar elementos físicos para realização do controle associado a alto poder de abstração, promovendo a modelagem efetiva do sistema de controle para SFM. Na classe de RdP interpretada, destaca-se a rede Enhanced Mark Flow Graph (E-MFG) que é caracterizada pela individualização das marcas. Desta forma, o objetivo do presente trabalho é apresentar uma proposta de sistemática para geração de modelos de controle para SFM utilizando uma metodologia consagrada de modelagem top-down para Sistemas Dinâmicos a Eventos Discretos, com o emprego dos diagramas da Unified Modeling Language (UML) para a geração do sistema de controle em E-MFG.