Partial Reconfiguration of Control Systems using Petri Nets Structural Redundancy

2015 ◽  
Vol 44 (3) ◽  
pp. 287-301
Author(s):  
Mildreth I Alcaraz-Mejia ◽  
Raul Campos-Rodriguez ◽  
Ernesto Lopez-Mellado ◽  
Antonio Ramirez-Trevino

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 (IPN), named Interpreted Machines with Resources (IMR), 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. The method is illustrated through a case study dealing with a manufacturing system controller that includes both alternative resources and operation sequences.DOI: http://dx.doi.org/10.5755/j01.itc.44.3.8783

2020 ◽  
Vol 53 (2) ◽  
pp. 2634-2641
Author(s):  
Vinicius Lima ◽  
Mark Eisen ◽  
Konstatinos Gatsis ◽  
Alejandro Ribeiro

1998 ◽  
Vol 08 (01) ◽  
pp. 21-66 ◽  
Author(s):  
W. M. P. VAN DER AALST

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures. This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.


2012 ◽  
Vol 58 (4) ◽  
pp. 397-402 ◽  
Author(s):  
Michał Doligalski ◽  
Marian Adamski

Abstract The paper presents method for hierarchical configurable Petri nets description in VHDL language. Dual model is an alternative way for behavioral description of the discrete control process. Dual model consists of two correlated models: UML state machine diagram and hierarchical configurable Petri net (HCfgPN). HCfgPN are Petri nets variant with direct support of exceptions handling mechanism. Logical synthesis of dual model is realized by the description of HCfgPN model by means of hardware description language. The paper presents placesoriented method for HCfgPN description in VHDL language


Sign in / Sign up

Export Citation Format

Share Document