Un método computacional para la detección y caracterización de conflictos en redes de Petri

En este artículo se presenta un método que permite detectar la presencia deconflictos en modelos construidos con base en el formalismo matemático de lasRedes de Petri. Se muestra cómo mediante la aplicación de un algoritmo que tomacomo datos de entrada la representación matricial de una red, es posible detectar laexistencia de conflictos y caracterizar su tipo, identificando, además, el conjunto deelementos que los presentan. La utilización del método propuesto se ilustra usandouna Red de Petri Ordinaria

Resolución de conflictos en la programación de actividades de sistemas productivos utilizando coloración de grafos

En este artículo se expone un método formal para la programación de actividades que presentan conflictos por utilización simultánea de recursos. Se muestra como mediante la construcción del modelo de un sistema productivo usando grafos y la posterior aplicación de un método de coloreo de nodos, es posible elaborar una programación de tareas que pueden ser llevadas a cabo sin impedimentos. El método presentado se ilustra mediante un ejemplo representativo de las tareas de mantenimiento de un sistema mecánico, igualmente se presenta un algoritmo que permite optimizar el número de iteraciones necesarias para el coloreo de nodos de un grafo

Un método computacional para la detección y caracterización de conflictos en redes de Petri

En este artículo se presenta un método que permite detectar la presencia deconflictos en modelos construidos con base en el formalismo matemático de lasRedes de Petri. Se muestra cómo mediante la aplicación de un algoritmo que tomacomo datos de entrada la representación matricial de una red, es posible detectar laexistencia de conflictos y caracterizar su tipo, identificando, además, el conjunto deelementos que los presentan. La utilización del método propuesto se ilustra usandouna Red de Petri Ordinaria

Computer-aided HAZOP of batch processes

The modern batch chemical processing plants have a tendency of increasing technological complexity and flexibility which make it difficult to control the occurrence of accidents. Social and legal pressures have increased the demands for verifying the safety of chemical plants during their design and operation. Complete identification and accurate assessment of the hazard potential in the early design stages is therefore very important so that preventative or protective measures can be integrated into future design without adversely affecting processing and control complexity or capital and operational costs. Hazard and Operability Study (HAZOP) is a method of systematically identifying every conceivable process deviation, its abnormal causes and adverse hazardous consequences in the chemical plants. [Continues.

Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN.

This report contains the proceedings of the Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN, October 13-15, 1999. The workshop was organised by the CPN group at the Department of Computer Science at the University of Aarhus, Denmark. The individual papers are available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop99

Платформи з LCNC і їх відмінності від SOA на прикладі сенсорних медичних систем

Дану роботу присвячено порівнянню різних методів розробки систем. Це порівняння класичного традиційного програмування за концепцією SOA та відносно нової розробки на low-code/no-code платформах. У даній роботі проводиться аналіз технічної та бізнес-літератури, де описується загалом або детально кожен з методів розробки, розглядається тлумачення цих концепцій розробки під різними поглядами науковців, звичайних розробників та бізнес-аналітиків. Розглядається історичне становлення та причини, що призвели до виникнення архітектурної концепції SOA, поява та опис технологій, що зробили втілення концепції реальним. Також описуються причини виникнення LC/NC платформ як способу вирішення проблем сучасного бізнесу: нестачі часу та заощадження коштів. Теоретичне порівняння різних методів розробки підкріплюється практичним порівнянням на основі створення реального застосунку. Додаток, що розробляється та порівнюється є MVP медичної сенсорної системи, що має практичну користь у використанні її пацієнтами та лікарями за спостереженням зміни певних значень показників. Застосовуються такі середовища розробки як Android Studio, Visual Studio та OutSystems Service Studio. На основі практичного порівняння в роботі підкріплюються або спростовуються тезиси переваг та недоліків кожного з методів розробки. Виокремлюються окремі рекомендації застосувань LC/NC платформ та традиційної концепції SOA під окремі задачі. Загальний обсяг пояснювальної записки: 186 сторінок, включаючи 139 рисунків, 10 таблиць та 72 посилання.This work is devoted to the comparison of different methods of systems development. This is a comparison of classic traditional concept SOA programming and relatively new development on low-code / no-code platforms. This work analyzes the technical and business literature, which describes in general or in detail each of the development methods, and the interpretation of these development concepts under the different views of scientists, ordinary developers, and business analysts. The historical formation and the reasons that led to the emergence of the architectural concept of SOA, the emergence and description of technologies that made the implementation of the concept real. It also describes the reasons for the emergence of LC / NC platforms as a way to solve modern business problems: lack of time and savings. Theoretical comparison of different development methods is supported by practical comparisons based on the creation of a real application. The application developed and compared is the MVP of the medical sensor system, which has practical benefits in its use by patients and physicians to monitor changes in certain values. Development environments such as Android Studio, Visual Studio, and OutSystems Service Studio are used. On the basis of practical comparison in the work, the theses of advantages and disadvantages of each of the development methods are supported or refuted. Some recommendations for the use of LC / NC platforms and the traditional concept of SOA for individual tasks are highlighted. Total explanatory note volume: 186 pages, including 139 images, 10 tables and 72 references

Un modelo de control inteligente para sistemas de manufactura basado en los paradigmas holónico y multi-agente

Los Sistemas de control Inteligente de Manufactura son organizaciones altamente distribuidas, que toman ventaja de las tecnologías de la información y las comunicaciones, de las técnicas de inteligencia artificial y de la teoría moderna de control, integrándolas en estos sistemas que compiten en un medio altamente dinámico y de economías agiles. En estas circunstancias, el desafío se ha centrado en desarrollar sistemas de control inteligente con capacidades de autonomía, cooperación y de inteligencia, adaptación rápida a los cambios del entorno y más robustos contra la ocurrencia de disturbios. Para ello se han propuesto varias arquitecturas basadas en los paradigmas holónico (control holónico) y la inteligencia artificial distribuida mediante sistemas Multi-Agente. Por definición, las unidades de producción holónicas son unidades autónomas que permiten el modelamiento de la información e infraestructura que compone el sistema de control inteligente de manufactura. El holón recurso definido como componente de la unidad de producción holónica, permite el modelamiento del comportamiento de las dinámicas existentes en los elementos que realizan una parte del proceso de manufactura. La misión y la ingeniería del holón representan las componentes funcionales del holón y representan el objetivo y el conocimiento de producción respectivamente. En este trabajo se propone desarrollar un modelo de control inteligente que incluya las exigencias de modelamiento, diseño y análisis de los sistemas de control desde la teoría de sistemas dinámicos a eventos discretos, y atributos y requerimientos de representación tomados desde los paradigmas Holónico y Multi-Agente. / Abstract. The intelligent control manufacturing systems are organizations highly distributed. They take advantage from information technologies and communications, from intelligent artificial techniques and modern theory control, integrate them in these systems that compete among a highly dynamic medium and agile economics. In these circumstances, the challenge has centered in developing intelligent control systems with features of autonomy, cooperation and intelligence, fast adaptation facing the environment changes, having robust parameters against the disturbs occurrence. Several architectures have been presented, based in holonic paradigm (holonic control) and intelligent artificial distributed through Multi-Agent systems. By definition, the holonic production units are autonomous elements that permit to model information an infrastructure composing the intelligent control manufacturing system. The resource holon defined as a component of the holonic production unit, permit the modeling of the existing dynamics in the elements to do a part of manufacturing process. The mission and engineering of the holon represent the functional components and the objective and knowledge of production respectively. This work propose to developing a intelligent control model including the modeling exigencies, design and analysis from control systems and their dynamic theory to discrete events, with the attributes a requirements took from holonic paradigm and Multi-agent.Maestrí