Decomposição de Redes de Petri IOPT

• Autor(a) principal: Rosa, Eduardo Augusto Martins
• Data de Publicação: 2018
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
• Texto Completo: http://hdl.handle.net/10362/56307
• topic: Redes de Petri IOPT; ferramenta de Decomposição de Redes de Petri IOPT; Sistemas Distribuídos; IOPT-Tools; Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Com a crescente complexidade observada nos sistemas digitais, o recurso a formalismos de desenvolvimento de sistemas e às ferramentas que estes oferecem como suporte, torna-se a solução mais viável para um aumento da produtiviadde. As redes de Petri, como formalismo de modelação de sistemas, possuem naturalmente a capacidade de descrever processos síncronos, paralelos, concorrentes, de partilha de recursos, mecanismos de composição e decomposição. Este formalismo possui uma representação gráfica, textual, e forte suporte matemático, o que permite o uso de técnicas e ferramentas de verificação, fundamentais na etapa de desenvolvimento. Várias extensões às redes de Petri foram propostas. Estas extensões referem-se a adições de novas semânticas e funcionalidades que procuram oferecer suporte na descrição de determinadas características de um sistema em particular, tal como as redes de Petri IOPT (Input-Output Place-Transition) que procuram satisfazer os requisitos para suporte à modelação de sistemas digitais. Considerando o modelo global de um sistema constituído por vários componentes descrito por uma única rede de Petri, procura-se com técnicas de decomposição, dividir esta rede em sub-redes (cada uma associada a um componente independente do sistema), de modo a facilitar tanto a análise dos componentes individualmente, como também, para preparar o controlador de cada componente para ser implementado numa plataforma específica. Neste trabalho é apresentado um estudo sobre a semântica das redes de Petri IOPT , métodos de decomposição de redes de Petri e uma proposta de implementação do protótipo de uma ferramenta que automatiza o processo de decomposição da rede descritiva de um sistema global em várias sub-redes (componentes), com base no método operação Net Splitting.