Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри

A technique of the computing grid verification using invariants of infinite Petri nets was presented. Models of square grid structures in the form of parametric Petri nets for such edge conditions as connection of edges and truncated devices were constructed. Infinite systems of linear algebraic equations were composed on parametric Petri nets for calculating p-invariants; their parametric solutions were obtained. P-invariant Petri nets are structuraly conservative and bounded that together with liveness are the properties of ideal systems. Liveness investigation based on siphons and traps can be implemented by using p-invariants of modified nets.Представлена методика верификации вычислительных решеток с помощью нахождения инвариантов бесконечных сетей Петри. Построены модели структур квадратных решеток в форме параметрических сетей Петри для таких краевых условий, как соединение краев и усеченные устройства. По параметрическим сетям Петри построены бесконечные системы линейных алгебраических уравнений для вычисления p-инвариантов и получены их параметрические ре- шения. P-инвариантные сети Петри являются структурно консервативными и ограниченными, что, вместе с живостью, является свойствами моделей идеальных систем. Исследование живости модели на основе анализа сифонов и ловушек может быть выполнено с помощью p-инвариантов модифицированных сетей

Modeling and analysis of concurrent systems

A survey of modeling and analysis techniques in common use for modeling and analyzing concurrent systems. The models surveyed are CSP (Communicating Sequential Processes), Path Expressions, CCS (Calculus of Communicating Systems), CIRCAL, Petri Nets, Coloured Petri Nets, Predicate-Action Nets, Numerical Petri Nets, Contour-Transition Nets, and several varieties of Timed Petri Nets. The analysis techniques are state-space analysis, temporal logic, structural analysis, and inductive analysis

Redes de Petri en la automatización de una máquina tampográfica de plásticos

Se documenta la implementación de la rutina de programación de una máquina para tampografía Comec-1998 usada para la impresión de piezas de plástico. El ciclo de trabajo comprende tres rutinas: batido de tinta, operación de ciclo sencillo y operación de ciclo continuo; programadas con tres cilindros, cuatro finales de carrera y dos temporizadores. Después de identificar los elementos para el ciclo de trabajo, se establecen las condiciones para generar los estados. Las transiciones en la red de Petri sirven para ir de un lugar a otro, usando la Automatización de las Redes de Petri y los conceptos de la Lógica de Pase de Tokens. Un PLC Siemens S7-200 se programó en programa KOP Ladder, dada la simplicidad y facilidad al pasar de la red de Petri al diagrama de lógica cableada

Uma abordagem para a modelagem, analise e controle de sistemas de produção utilizando Redes de Petri

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoAs redes de Petri estão sendo atualmente utilizadas em sistemas de manufatura. Neste sentido, o presente trabalho tem como propósito apresentar os diferentes conceitos relativos às redes de Petri e suas várias classes de modelos derivados, os quais podem ser utilizados para modelar sistemas dinâmicos de eventos discretos de qualquer tipo. Esta ferramenta nos permite visualizar com facilidade situações tais como concorrência, sincronização e compartilhamento de recursos, os quais são próprios de um sistema flexível de manufatura (FMS), além do mais, nos permite uma análise tanto qualitativa como quantitativa. Cada um dos modelos derivados tais como RdP estocásticas, RdP colorida, etc. Têm seu próprio caráter específico e campo de aplicação privilegiado

Um modelo para o planejamento e a programação da produção em ambientes job shop baseado em redes de Petri

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de ProduçãoUm dos maiores desafios enfrentados pela administração da produção e do qual depende muito a eficiência de todo sistema produtivo, sobretudo em ambientes flexíveis de manufatura, é a forma como são tratados os problemas relacionados com o planejamento e a programação da produção. O problema do planejamento esta geralmente relacionado com a quantidade de cada tipo de produto a ser fabricado em cada período de planejamento, dentro de um determinado horizonte, tendo como objetivo satisfazer uma demanda prevista a um custo mínimo. A programação da produção, por sua vez, tem por função a alocação ótima de recursos às operações produtivas com a finalidade de cumprir com a fabricação das quantidades planejadas previamente. Este problema (programação) resulta sendo muito difícil de ser resolvido, sobretudo quando se trabalha em ambientes flexíveis, onde diferentes máquinas são capazes de realizar variadas operações. Neste sentido, o presente trabalho tem como objetivo apresentar as Redes de Petri como uma ferramenta de modelagem tanto gráfica como matemática, para resolver os problemas relacionados com o planejamento e a programação da produção, em ambientes flexíveis de manufatura do tipo job shop