A new methodology for analyzing distributed systems modeled by petri nets

Distributed computing systems can be modeled adequately by Petri nets. The computation of invariants of Petri nets becomes necessary for proving the properties of modeled systems. This paper presents a two-phase, bottom-up approach for invariant computation and analysis of Petri nets. In the first phase, a newly defined subnet, called the RP-subnet, with an invariant is chosen. In the second phase, the selected RP-subnet is analyzed. Our methodology is illustrated with two examples viz., the dining philosophers' problem and the connection-disconnection phase of a transport protocol. We believe that this new method, which is computationally no worse than the existing techniques, would simplify the analysis of many practical distributed systems.

S-nets: A Petri net based model for performance evaluation of real-time scheduling algorithms

A new class of nets, called S-nets, is introduced for the performance analysis of scheduling algorithms used in real-time systems Deterministic timed Petri nets do not adequately model the scheduling of resources encountered in real-time systems, and need to be augmented with resource places and signal places, and a scheduler block, to facilitate the modeling of scheduling algorithms. The tokens are colored, and the transition firing rules are suitably modified. Further, the concept of transition folding is used, to get intuitively simple models of multiframe real-time systems. Two generic performance measures, called �load index� and �balance index,� which characterize the resource utilization and the uniformity of workload distribution, respectively, are defined. The utility of S-nets for evaluating heuristic-based scheduling schemes is illustrated by considering three heuristics for real-time scheduling. S-nets are useful in tuning the hardware configuration and the underlying scheduling policy, so that the system utilization is maximized, and the workload distribution among the computing resources is balanced.

Petri net-based modeling of a class of complex digital systems

We present through the use of Petri Nets, modeling techniques for digital systems realizable using FPGAs. These Petri Net models are used for logic validation at the logic design phase. The technique is illustrated by modeling practical circuits. Further, the utility of the technique with respect to timing analysis of the modeled digital systems is considered. Copyright (C) 1997 Elsevier Science Ltd

Coloured Petri net models for automated manufacturing systems

In this paper, we propose an approach, using Coloured Petri Nets (CPN) for modelling flexible manufacturing systems. We illustrate our methodology for a Flexible Manufacturing Cell (FMC) with three machines and three robots. We also consider the analysis of the FMC for deadlocks using the invariant analysis of CPNs.

Petri net based performance modeling for effective DVFS for multithreaded programs

Dynamic Voltage and Frequency Scaling (DVFS) is a very effective tool for designing trade-offs between energy and performance. In this paper, we use a formal Petri net based program performance model that directly captures both the application and system properties, to find energy efficient DVFS settings for CMP systems, that satisfy a given performance constraint, for SPMD multithreaded programs. Experimental evaluation shows that we achieve significant energy savings, while meeting the performance constraints.

Redes de conocimiento y responsabilidad social empresaria

Objetivos de la Investigación: 1. Indagar acerca de las diferentes técnicas y herramientas que nos propone la teoría para establecer relaciones entre redes de conocimiento y RSE. 2. Indagar acerca del grado de aplicación de los fundamentos teóricos en la práctica. 3. Establecer las competencias necesarias para el ejercicio efectivo de la Responsabilidad Social Empresaria de las compañías establecidas en la localidad de Campana

¿Cómo usan las redes sociales los jóvenes de Latinoamérica?

Resumen: La difusión de las redes sociales en Internet ha pasado a formar parte de la vida cotidiana de los jóvenes. Las motivaciones que guían la elección de algunas de ellas, la frecuencia de uso y su impacto en el consumo de medios de comunicación tradicionales conforman el núcleo de este trabajo. Los jóvenes mostraron estar familiarizados con los fines y aplicaciones de las diferentes redes sociales, aunque en su gran mayoría eligen Facebook como su favorita. Manifiestan que, en términos generales, las redes sociales ofrecen una forma de comunicación completa, ya que permiten compartir texto, fotos, videos y enlaces, y estar en contacto permanente con familiares, amigos y conocidos

Redes neuronales artificiales aplicadas al análisis de datos en ingeniería ambiental e impacto ambiental

Resumen: Se realiza una revisión sobre los antecedentes de las Redes Neuronales Artificiales (RNA) como método de análisis de bases de datos medioambientales, aplicado en las diversas áreas de la Ingeniería Ambiental en general y de Impacto Ambiental en particular. Se describe como ejemplo, la aplicación de RNA en los algoritmos de inversión de datos obtenidos por sensado remoto satelital, para la medición de variables geofísicas

Redes inalámbricas de uso comunitario : un análisis comparativo de protocolos

Resumen: Las redes malladas inalámbricas (Wireless Mesh Networks) son en particular un dominio rápidamente creciente y esto trae muchos desafíos. La principal función de los protocolos de encaminamiento es seleccionar el camino entre el nodo fuente y destino de una manera rápida y fiable. Estas redes pueden utilizar los protocolos de encaminamiento de otras redes ya existentes, pero modificándolos para que funcionen correctamente con ellas. En este trabajo se analizan distintos protocolos de encaminamiento y se presentan sus descripciones para luego compararlos de acuerdo al Tipo de Protocolo, Alcance de trasmisiones y Métrica de ruteo.

Identificación de variables en modelización de líneas de producción industrial y su análisis mediante redes neuronales artificiales

Resumen: En el marco de la integración de etapas en procesos de producción industrial en serie, se identifican, clasifican y caracterizan las variables que permiten modelizar dicho proceso, como estrategia con vistas a su optimización. El estudio se aplica en el ámbito de la industria metalúrgica, a partir de los datos de un conjunto de empresas de la región centro y sur de Santa Fe. La estructura secuencial de un proceso industrial hace que cualquier falla en una etapa cause demoras o reducción de calidad en el producto final obtenido. Como herramienta integradora de análisis, se plantea la implementación de un sistema de redes neuronales artificiales.

Redes de energia elétrica inteligentes (smart grids)

Trecho da Nota Técnica: "Com o avanço do uso da tecnologia digital nos sistemas de fornecimento de energia elétrica, começa a surgir o que se convencionou chamar de quarta geração desses sistemas, ou seja, as chamadas smart grids, caracterizadas pelo uso intensivo de equipamentos digitais, de telecomunicações, de sensoriamento e operação remotos de instalações, e de tecnologia de informação (TI), adicionalmente às instalações físicas de geração, transmissão e distribuição de energia elétrica existentes." Consultoria Legislativo - Área XII Recursos Minerais, Hídricos e Energéticos.

O estudo do lobby no legislativo pela abordagem de redes

O estudo objetiva mostrar que analisar o lobby no Legislativo pela perspectiva de redes colabora para a melhor percepção do fenômeno da participação política da sociedade organizada no âmbito das comissões de mérito do Legislativo. A lógica de redes permite focar na práxis democrática, em seu aperfeiçoamento e nas garantias para que a participação dos interesses organizados colabore para a eficiência e para a socialização das resoluções dos problemas no contexto democrático. Pela abordagem de redes, torna-se claro que, muito mais que uma mera regulamentação, é necessário aperfeiçoar a práxis política, conhecer melhor seus atores e fomentar o ambiente propício para que o desenvolvimento do lobby não seja fator de degeneração do desempenho do governo democrático, não se transforme em mera manipulação política pelo poder econômico nem corrobore uma ditadura de minorias sociais refratárias à maior parte dos interesses públicos.