scholarly journals Sistema para detección y aislamiento de fallas utilizando Redes de Petri Interpretadas (RPI)

2019 ◽  
pp. 1-5
Author(s):  
Veronica Hernandez ◽  
Alejandro Arredondo ◽  
Elvia Ruiz
Keyword(s):  
Petri Nets ◽  
Discrete Event ◽  
Failure Detection ◽  
Area Of Influence ◽  
And Control ◽  
Failure Monitoring ◽  
The Given ◽  
Implementation In Matlab ◽  
Control Failures

Interpreted Petri Nets (IPN) allow the analysis of Discrete Event Systems (DES) to guarantee the detection of failures in a fast, efficient, and safe way. The objective of this research is the design of an Interpreted Petri Net for the detection of failures in a water supply system. The IPN allows us to identify two types of failures, permanent failures and control failures. The first are inherent to the system and are those that make impossible the functionality of the system. The second refers to those that are inherent to the user and are those failures that do not meet the given specifications. Detecting failures in a system allows the improvement of the operation in such a way that it is more efficient. In this manner, it is possible to design reliable systems which can work properly. In this research, an algorithm was designed for the sensors involved in the system using Interpreted Petri Nets. The detection of failures as main objective is achieved through the implementation of a previously designed IPN. By implementing a programming code in MATLAB®, it was possible to observe its simulated behavior in the system. The input parameters used assume a behavior. Objective: Analyze and implement a mathematical model to automatically detect failures in a system, based on a polynomial algorithm according to the methodology proposed in Matlab®. Methodology: Algorithms were used to characterize the area of influence of the failure in the IPN of the system, from which the implementation in Matlab® showed minimal T-semiflows that do not share any transition with the structure where the failure is located. Therefore, if the problem of linear programming has a solution then the system will be not diagnosable. In this case, if the system is modeled by parts, it is possible to find those parts that are diagnosable and therefore implement the methodology, in this way a module model will be obtained in which the failure detection can be performed. Contribution: Characterization of the diagnosticability property and use of algorithms in MATLAB® to analyze the property of systems designed by IPN. Identify failure occurrence modeled in a system using IPN in MATLAB® for failure monitoring.

Petri Net Model Based Design and Control of Robotic Manufacturing Cells

2012 ◽  
pp. 393-408
Author(s):  
Gen’ichi Yasuda
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Manufacturing Cells ◽  
Modeling And Control ◽  
Complex Manufacturing Systems ◽  
Task Specification ◽  
And Control ◽  
The Coordinator

The methods of modeling and control of discrete event robotic manufacturing cells using Petri nets are considered, and a methodology of decomposition and coordination is presented for hierarchical and distributed control. Based on task specification, a conceptual Petri net model is transformed into the detailed Petri net model, and then decomposed into constituent local Petri net based controller tasks. The local controllers are coordinated by the coordinator through communication between the coordinator and the controllers. Simulation and implementation of the control system for a robotic workcell are described. By the proposed method, modeling, simulation, and control of large and complex manufacturing systems can be performed consistently using Petri nets.

Petri Net Model Based Design and Control of Robotic Manufacturing Cells

2013 ◽  
pp. 385-400 ◽  
Author(s):  
Gen’ichi Yasuda
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Manufacturing Cells ◽  
Modeling And Control ◽  
Complex Manufacturing Systems ◽  
Task Specification ◽  
And Control ◽  
The Coordinator

The methods of modeling and control of discrete event robotic manufacturing cells using Petri nets are considered, and a methodology of decomposition and coordination is presented for hierarchical and distributed control. Based on task specification, a conceptual Petri net model is transformed into the detailed Petri net model, and then decomposed into constituent local Petri net based controller tasks. The local controllers are coordinated by the coordinator through communication between the coordinator and the controllers. Simulation and implementation of the control system for a robotic workcell are described. By the proposed method, modeling, simulation, and control of large and complex manufacturing systems can be performed consistently using Petri nets.

scholarly journals New Software Tool for Modeling and Control of Discrete-Event and Hybrid Systems Using Timed Interpreted Petri Nets

2020 ◽  
Vol 10 (15) ◽  
pp. 5027 ◽  
Author(s):  
Erik Kučera ◽  
Oto Haffner ◽  
Peter Drahoš ◽  
Ján Cigánek ◽  
Roman Leskovský  ◽  
...  
Keyword(s):  
Petri Nets ◽  
Hybrid Systems ◽  
Industry 4.0 ◽  
Discrete Event Systems ◽  
Production Systems ◽  
Discrete Event ◽  
Software Tool ◽  
Modeling And Control ◽  
Event Systems ◽  
And Control

For the development of modern complex production processes in Industry 4.0, it is appropriate to effectively use advanced mathematical models based on Petri nets. Due to their versatility in modeling discrete-event systems, Petri nets are an important support in creating new platforms for digitized production systems. The main aim of the proposed article is to design a new software tool for modeling and control of discrete-event and hybrid systems using Arduino and similar microcontrollers. To accomplish these tasks, a new tool called PN2ARDUINO based on Petri nets is proposed able to communicate with the microcontroller. Communication with the microcontroller is based on the modified Firmata protocol hence, the control algorithm can be implemented on all microcontrollers that support this type of protocol. The developed software tool was successfully verified in control of laboratory systems. In addition, it can be used for education and research purposes as it offers a graphical environment for designing control algorithms for hybrid and mainly discrete-event systems. The proposed software tool can improve education and practice in cyber-physical systems (Industry 4.0).

scholarly journals PetriNet Editor + PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation

2020 ◽  
Vol 10 (21) ◽  
pp. 7662
Author(s):  
Erik Kučera ◽  
Oto Haffner ◽  
Peter Drahoš ◽  
Roman Leskovský ◽  
Ján Cigánek
Keyword(s):  
Petri Nets ◽  
Code Generation ◽  
Industry 4.0 ◽  
Discrete Event Systems ◽  
Production Systems ◽  
Discrete Event ◽  
Software Tool ◽  
System Control ◽  
Event Systems ◽  
And Control

Petri nets are an important tool for creation of new platforms for digitised production systems due to their versatility in modelling discrete event systems. For the development of modern complex production processes for Industry 4.0, using advanced mathematical models based on Petri nets is an appropriate and effective option. The main aim of the proposed article is to design a new software tool for modelling and control of discrete event systems using Arduino-type microcontrollers and code generation techniques. To accomplish this task, a new tool called “PetriNet editor + PetriNet engine” based on Petri nets is proposed able to generate the code for the microcontroller according to the modelled Petri net. The developed software tool was successfully verified in control of a laboratory plant. Offering a graphical environment for the design of discrete event system control algorithms, it can be used for education, research and practice in cyber-physical systems (Industry 4.0).

Fault Detection, Isolation and Characterisation for Discrete Event Systems Based on Petri Nets Models

2010 ◽  
pp. 387-416
Author(s):  
Dimitri Lefebvre ◽  
Edouard Leclercq ◽  
Souleiman Ould El Mehdi
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Practical Interest ◽  
Transportation Systems ◽  
Intermittent Faults ◽  
Event Systems ◽  
Stochastic Time

Petri net models are used to detect and isolate faults in case of discrete event systems as manufacturing, robotic, communication and transportation systems. This chapter addresses two problems. The first one is the structure designs and parameters identification of the Petri net models according to the observation and analysis of the sequences of events that are collected. Deterministic and stochastic time Petri nets are concerned. The proposed method is based on a statistical analysis of data and has a practical interest as long as sequences of events are already saved by supervision systems. The second problem concerns the use of the resulting Petri net models to detect, isolate and characterize faults in discrete event systems. This contribution includes the characterization of intermittent faults. This issue is important because faults are often progressive from intermittent to definitive and early faults detection and isolation improve productivity and save money and resources.

scholarly journals Genetic characterization of influenza A(H3N2) viruses from 2014 to 2017 in Yantai, east of China

2018 ◽  
Vol 42 (3) ◽  
pp. 89-97
Author(s):  
Juan Liu ◽  
Lian-feng Gong ◽  
Zhen-lu Sun ◽  
Qiao Gao ◽  
Zhao-jing Dong
Keyword(s):  
Influenza A ◽  
Eastern China ◽  
Influenza Viruses ◽  
Molecular Surveillance ◽  
Oseltamivir Resistance ◽  
Catalytic Sites ◽  
And Control ◽  
The Given ◽  
Real Challenge

Abstract Background: The genetic variations of influenza viruses pose a real challenge to the vaccine strategies and medical treatment of patients. Methods: In this study, the molecular epidemiology and evolution of influenza A(H3N2) strains were analyzed from April 2014 to March 2017 in Yantai area of eastern China. Results: The phylogenetic analysis of the hemagglutinin (HA) sequences of influenza A(H3N2) showed that all of the influenza A(H3N2) strains during the study period belonged to the genetic clade 3c with the mutations N145S (epitopeA), V186G (epitopeB), P198S (epitopeB) and F219S (epitopeD). Most strains (12/14) of the 2014/2015 season fell into the subgroup 3C.3a characterized by A138S (epitopeA), R142G (epitopeA), F159S (epitopeB) and T128A (epitopeB), while strains isolated from the 2015/2016 and 2016/2017 seasons clustered in 3C.2a shared mutations N144S (epitopeA), F159Y (epitopeB), K160T (epitopeB) and Q311H (epitopeC). The strains isolated from the 2014/2015 and 2015/2016 seasons was were genetically and antigenically distinct from the given vaccine strains. The evaluation of vaccine efficacy (VE) against circulating strains estimated using the pepitope model suggested that little or no protection against circulating strains from 2014/2015 and 2015/2016 seasons was afforded by the given vaccine strains. The sequence analysis of the neuraminidase (NA) showed that all of the analyzed strains had no substitution in the catalytic sites or the framework sites or the supporting the catalytic residues or the oseltamivir resistance substitutions. Conclusions: The results of the study suggested that the vaccine strains provided suboptimal protection against influenza A(H3N2) strains, especially in the 2014/2015 and 2015/2016 seasons and the A(H3N2) strains circulating in the Yantai area were still susceptible to NA inhibitors. Continued systematic antigenic and molecular surveillance of the influenza virus is essential to developing strategies for the prevention and control of influenza.

scholarly journals Modelling and Control of Discrete Event Dynamic Systems

2000 ◽  
Vol 7 (26) ◽  
Author(s):  
Frantisek Capkovic
Keyword(s):  
Petri Nets ◽  
Dynamic Systems ◽  
Discrete Event ◽  
Analytical Models ◽  
Control Synthesis ◽  
Discrete Event Dynamic Systems ◽  
Oriented Graphs ◽  
Knowledge Based ◽  
Event Dynamic ◽  
And Control

Discrete event dynamic systems (DEDS) in general are <br />investigated as to their analytical models most suitable for control<br />purposes and as to the analytical methods of the control synthesis.<br /> The possibility of utilising both the selected kind of Petri nets<br />and the oriented graphs on this way is pointed out. Because many<br />times the control task specifications (like criteria, constraints, <br />special demands, etc.) are given only verbally or in another form of<br />non analytical terms, a suitable knowledge representation about<br />the specifications is needed. Special kinds of Petri nets (logical,<br />fuzzy) are suitable on this way too. Hence, the knowledge-based<br />control synthesis of DEDS can also be examined. The developed<br />graphical tools for model drawing and testing as well as for the<br />automated knowledge-based control synthesis are described and<br />illustratively presented.<br />Two approaches to modelling and control synthesis based on<br />oriented graphs are developed. They are suitable when the <br />system model is described by the special kind of Petri nets - state<br />machines. At the control synthesis the first of them is straightforward<br /> while the second one combines both the straight-lined model<br />dynamics development (starting from the given initial state <br />towards the prescribed terminal one) and the backtracking model<br />dynamics development.

Sign in / Sign up

Export Citation Format

Share Document