scholarly journals Online Fault Diagnosis in Petri Net Models of Discrete-Event Systems Using Fourier-Motzkin

2018 ◽  
Author(s):  
Ahmed Al-Ajeli ◽  
David Parker
Keyword(s):  
Fault Diagnosis ◽  
Petri Net ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems

Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach

2007 ◽  
Vol 4 (1) ◽  
pp. 31-39 ◽  
Author(s):  
A. Ramirez-Trevino ◽  
E. Ruiz-Beltran ◽  
I. Rivera-Rangel ◽  
E. Lopez-Mellado
Keyword(s):  
Fault Diagnosis ◽  
Petri Net ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems

scholarly journals Fault Diagnosis for Discrete Event Systems Using Partially Observed Petri Nets

2020 ◽  
Vol 2020 ◽  
pp. 1-13
Author(s):  
Ye Dandan ◽  
Luo Jiliang ◽  
Su Hongye
Keyword(s):  
Fault Diagnosis ◽  
Petri Net ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Diagnostic Process ◽  
Structure Information ◽  
Event Systems ◽  
Time Requirements ◽  
Diagnosis Method ◽  
Partially Observable

This study proposes a fault diagnosis method of discrete event systems on the basis of a Petri net model with partially observable transitions. Assume that the structure of the Petri net model and the initial marking are known, and the faults can be modeled by its unobservable transitions. One of the contributions of this work is the use of the structure information of Petri net to construct an online fault diagnoser which can describe the system behavior of normal or potential faults. By modeling the flow of tokens in particular places that contain fault information, the variation of tokens in these places may be calculated. The outputs and inputs of these places are determined to be enabled or not through analyzing some special structures. With the structure information, traversing all the states is not required. Furthermore, the computational complexity of the polynomial allows the model to meet real-time requirements. Another contribution of this work is to simplify the subnet model ahead of conducting the diagnostic process with the use of reduction rules. By removing some nodes that do not contain the necessary diagnostic information, the memory cost can be reduced.

A Simple Petri Net controller in Discrete Event systems

2012 ◽  
Vol 45 (6) ◽  
pp. 188-193 ◽  
Author(s):  
M. Zareiee ◽  
A. Dideban ◽  
A.A. Orouji ◽  
H. Alla
Keyword(s):  
Petri Net ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems
Sign in / Sign up

Export Citation Format

Share Document