Avaliação do desempenho logístico do transporte rodoviário de madeira utilizando rede de petri em uma empresa florestal de Minas Gerais

Este trabalho teve por objetivo utilizar o modelo de avaliação do desempenho logístico de cadeias produtivas (ADELCAP) centrado nos tempos dos elementos do ciclo operacional do transporte de madeira, visando otimizar os recursos, garantir um fluxo contínuo de abastecimento e assegurar um volume adequado de entrada de madeira na fábrica. O ciclo operacional de transporte de madeira é composto pelo carregamento de madeira no campo, viagem carregada, descarregamento, garagem e viagem vazia. Para tanto, utilizou-se como estudo de caso uma empresa produtora de celulose do Estado de Minas Gerais. Nesse modelo de cadeia logística de transporte de madeira, utilizou-se a Rede de Petri Temporal, por trabalhar com dois tempos que correspondem a uma duração de sensibilização. Criaram-se cenários com as mesmas variações nas duas regionais estudadas e realizaram-se simulações com os softwares JARP e ARP, a fim de avaliar o desempenho operacional e econômico. As variações aplicadas nos cenários foram: melhoria das estradas florestais; aumento do número de carregadores; e melhoria da eficiência da garagem. Em ambas as regionais, o cenário com as três variações (Cenário 7) apresentou a maior redução nos tempos dos ciclos de transporte de madeira em relação à situação atual, sendo 19,24 e 21,48%, respectivamente, para Rio Doce e Cocais das Estrelas. Considerando-se apenas como custo operacional o valor pago pelo frete, não estando incluso o custo referente a investimentos, tanto na regional do Rio Doce quanto em Cocais das Estrelas, ele apresentou maior redução no cenário 7 (20,09 e 21,22%, respectivamente).

Avaliação do desempenho logístico do transporte rodoviário de madeira de áreas de fomento florestal com o uso de rede de Petri

Neste estudo, buscou-se aplicar o modelo de avaliação do desempenho logístico de cadeias produtivas (ADELCAP), baseado nos tempos dos elementos do ciclo operacional do transporte de madeira de áreas de fomento de uma empresa produtora de celulose do Estado do Espírito Santo, objetivando apontar meios de otimizar os recursos físicos para garantir um fluxo de abastecimento ininterrupto e apropriado volume de entrada de madeira nos depósitos regionais. O ciclo operacional de transporte de madeira é ordenado pelas atividades de carregamento de madeira no campo, viagem carregada, descarregamento no depósito e viagem vazia. Utilizou-se a Rede de Petri Temporal, por trabalhar com dois tempos duração de sensibilização. Realizaram-se simulações com os softwares JARP e ARP, a fim de simular, analisar e avaliar o desempenho operacional. As variações empregadas em cada cenário se devem à qualidade da estrada, sob as condições atuais quanto à geometria vertical e horizontal e ao quociente de irregularidade, em cada depósito para os diferentes tipos de veículo e forma de carregamento da madeira adotado. Nas regiões de topografia acidentada, a melhoria das estradas alterando seu nível de qualidade tem maior influência para o aumento do desempenho dos veículos, e os veículos 4x2 e 6x2 apresentaram os melhores resultados. Nas regiões de planícies, a escolha do veículo tem maior influência no aumento do desempenho do transporte, já que a topografia e qualidade das estradas atuais já contribuem para isso. Nesses casos, a relação tonelada transportada por distância e tempo será maior para os veículos com capacidade de carga líquida maior.

Análise técnica e de custos do transporte de madeira com diferentes composições veículares

O transporte de madeira no Brasil é realizado predominantemente pelo modal rodoviário, chegando o frete a representar até 60% do custo logístico total. Objetivou-se neste trabalho analisar os fatores técnicos e de custos do transporte de madeira com diferentes composições veiculares de carga, na região do Vale do Rio Doce, MG. Realizou-se um estudo de tempos e movimentos do ciclo operacional de transporte realizado nos períodos diurno e noturno, da operação de carregamento e descarregamentode madeira. As análises foram divididas em três regiões de produção de madeira com diferentes distâncias de transporte. Os resultados indicam quea região de Nova Era apresentou o maior tempo produtivo (78,71%) e o pior improdutivo (9,26%). Em relação aos custos operacionais, as regionais, que utilizavam o bitrem como veiculo de transporte de madeira. Os valores por km de transporte encontrados foram 0,341 R$/m³.km-1 para Nova Era e 0,249.R$/m³.km-1.para Rio Doce. Para a região de Guanhães, obteve-se o maior custo final da madeira (27,14 R$/m³.km-1).A utilização do tritrem como veículo para transporte de madeira, apresentou os menores custos de m³ transportado por km.

Redes de Petri reactivas e hierárquicas - integração de formalismos no projecto de sistemas reactivos de tempo-real

Dissertação apresentada para obtenção do grau de Doutor em Engenharia Electrotécnica, especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Comunicações intra- e inter-circuito de componentes especificados com Redes de Petri

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Geração automática de código ANSI C a partir de Redes de Petri IOPT - PNML2C -

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Configurador de sistemas distribuídos de controlo especificados através de redes de Petri IOPT

O objetivo principal deste trabalho é desenvolver um protótipo de ferramenta que permita a geração de ficheiros de configuração de sistemas distribuídos de controlo em plataformas específicas permitindo a integração de um conjunto de componentes previamente definidos. Cada componente é caracterizado como um módulo, identificando-se o conjunto de sinais e eventos de entrada e saída, bem como o seu comportamento, normalmente especificado através de um modelo em redes de Petri IOPT – RdP-IOPT (Input-Output Place-Transitions). O formato PNML (Petri Net Markup Language) será utilizado para a representação de cada componente. Os componentes referidos poderão ser obtidos através de vários métodos, nomeadamente através de ferramentas em desenvolvimento, que se encontram disponíveis em http://gres.uninova.pt/IOPT-Tools/ e também através da sua edição no editor de IOPT, como resultado da partição de um modelo expresso em IOPT, utilizando o editor Snoopy-IOPT em conjugação com a ferramenta SPLIT. Serão considerados várias formas para interligação dos componentes, incluindo-se ligações diretas e wrappers assíncronos num contexto de sistemas Globalmente Assíncronos Localmente Síncronos - GALS bem como diferentes tipos de barramentos e ligações série, incluindo Network-On-Chip específicos. A descrição da interligação entre componentes é gerada automaticamente pela ferramenta desenvolvida, tendo em conta resultados de dissertações de mestrado anteriores. As plataformas especificas de suporte à implementação incluem FPGA’s da serie Xilinx Spartan3,3E e Xilinx Virtex, e várias placas de desenvolvimento.

Wave4IOPT - editor e visualizador web de formas de onda – aplicação a controladores digitais especificados com modelos de Redes de Petri IOPT

Este trabalho tem o objectivo de criar um Editor e Visualizador Web de Formas de Onda para controladores digitais especificados com modelos Redes de Petri Input-Output Place-Transition (IOPT). Após uma análise das ferramentas existentes e constatando-se a inexistência de uma ferramenta adequada a essa função, desenvolveu-se uma ferramenta denominada Wave4IOPT, que permite a visualização das formas de onda de sinais e eventos de entrada e de saída ao longo do tempo. A ferramenta permite também a visualização dos resultados do histórico de uma simulação de uma Rede de Petri IOPT, proveniente do Simulador das IOPT-Tools. Esta ferramenta incorpora funcionalidades de edição, modos de visualização e um módulo básico de identificação e correcção de erros dos valores das formas de onda. O Wave4IOPT está disponível a partir de um browser e prevê-se que venha a estar integrado no ambiente de ferramentas IOPT-Tools. Esta ferramenta foi construída utilizando tecnologias Web como HTML, JavaScript, CSS, SVG e JSON. Adicionalmente, o Wave4IOPT poderá também servir para a edição, visualização e análise de outros tipos de sinais digitais, desde que sejam preenchidos os requisitos da estrutura do ficheiro JSON que será lido pela ferramenta.

Redes de Petri e VHDL na prototipagem rápida de sistemas digitais

O objectivo principal deste artigo é exemplificar a utilização de uma metodologia de especificação de sistemas digitais, baseada em Redes de Petri orientadas por objectos, para obter de uma forma rápida e simplificada um protótipo em VHDL do sistema pretendido. É considerado para exemplificação um sistema digital, para o qual se efectua a especificação no modelo RdP-shobi e a geração automática de código VHDL. Este exemplo permite concluir acerca da utilidade desta metodologia no projecto de sistemas digitais, suportado por princípios de orientação por objectos e por uma ferramenta de EDA desenvolvida propositadamente para o efeito.

Redes de Petri e VHDL na prototipagem rápida de sistemas digitais

O objectivo principal deste artigo é exemplificar a utilização de uma metodologia de especificação de sistemas digitais, baseada em Redes de Petri orientadas por objectos, para obter de uma forma rápida e simplificada um protótipo em VHDL do sistema pretendido. É considerado como exemplo um sistema digital, para o qual se efectua a especificação no modelo RdP-shobi e a partir da qual se pode gerar automaticamente código VHDL. Este exemplo permite demonstrar acerca da capacidade desta metodologia no projecto de sistemas digitais, suportado por princípios de orientação por objectos e por uma ferramenta de EDA concebida para o efeito.

Interfaz de usuario para un simulador de redes de Petri coloreadas

Aquest projecte presenta el desenvolupament d'una interficie d'usuari que permet visualitzar i interpretar, en forma de text o en forma gràfica, els resultats de la simulació de models de Xarxes de Petri Acolorides (XPAs). L'estudi de les solucions obtingudes mitjançant la simulació de models de XPAs, permetrà analitzar i evaluar tant el comportament com el rendiment del sistema modelat. La interficie ha estat programada en Visual C++.

Traductor de especificaciones XML de redes de Petri coloreadas a un lenguaje para la resolución de problemas de optimización

Este proyecto presenta el desarrollo de una aplicación que permite traducir Redes de Petri Coloreadas diseñadas en CPN Tools a un lenguaje para la generación de ficheros de entrada a un simulador/optimizador de Redes de Petri Coloreadas. De esta manera se podrán optimizar modelos creados en CPN Tools ya que esta herramienta no facilita la optimización. Todo el proyecto se ha realizado en C++.

Aplicação dos conceitos de modelagem e de redes de Petri na análise do processo produtivo da indústria sucroalcooleira

A modelagem, como meio de análise de processos do agronegócio, bem como de cadeias produtivas, atende à demanda por métodos apropriados. O presente trabalho objetivou avaliar a aderência dos conceitos de modelagem e de rede de Petri aplicados ao complexo agroindustrial da cana-de-açúcar. Utilizou-se uma empresa real para a aquisição das informações. Os modelos das cadeias de atividades foram validados com o uso da rede de Petri, por meio de um método de análise em que são simulados todos os caminhos possíveis e os estados que o sistema modelado pode atingir. O estudo resultou em 14 conjuntos de etapas de produção, englobando todas as operações unitárias das cadeias produtivas do açúcar e do álcool, desde o plantio da cana até o armazenamento do açúcar e do álcool.

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos