Metodología para el diseño de sistemas embebidos basada en modelos de Redes de Petri

En este trabajo se presenta una plataforma embebida para el control de sistemas de eventos discretos. El sistema real de propósito específico se modela como una Red de Petri con señales de entrada y salida. Esto permite adaptar un esquema de control que puede ejercer acción sobre el sistema mediante comandos de entrada y retroalimentar el estado mediante señales de salida. Se proporciona una metodología para traducir el modelo en Red de Petri a una implementación de firmware embebido.Universidad de Guadalajar

Partial Reconfiguration of Control Systems using Petri Nets Structural Redundancy

This paper deals with the partial reconfiguration of the discrete control systems due to resource failures using the structural redundancy of the global system model. The approach herein proposed introduces a new subclass of Interpreted Petri Nets (), named Interpreted Machines with Resources (), allowing representing both the behaviour of a system and the resource allocation. Based on this model, an efficient reconfiguration algorithm is proposed; it is based on finding the set of all redundant sequences using alternative resources. The advantages of this structural reconfiguration method are: (1) it provides minimal reconfiguration to the system control assuring the properties of the original control system, (2) since the model includes resource allocation, it can be applied to a variety of systems such as Business Processes, and FPGAs, among others, (3) it takes advantage of the implied features of Petri net models, such as structural analysis and graphical visualization of the system and control. The method is illustrated through a case study that deals with a manufacturing system controller, which includes both alternative resources and operation sequencesITESO, A.C.CINVESTA