Paper Info
Title
Fault Diagnosis of Bounded Petri Nets Using Path Marking Graphs.
Abstract
This paper proposes a fault diagnosis method based on the path information of a bounded Petri net model. It relies on the notions of two graphs called path marking graph and modified path marking graph, which characterize different sets of paths and markings consistent with an observed sequence, and a set of unobservable transitions whose firing will enable the sequence. The fault diagnosis method can be applied to a bounded Petri net model with unobservable and acyclic subnets. Moreover, the process of using these two particular graphs to calculate the possibilities of fault behaviors can be taken off-line, which is the most burdensome part for a bounded Petri net model, but also can reduce the memory cost. Finally, this method is verified through a production line example. The main contribution of this paper is to dig out the path information of a bounded Petri net, and to map it into different categories. By analyzing the inherent structure information of Petri net, the presented algorithm can diagnose faults without traversing all the system states.
Year
DOI
Venue
2018
10.1109/ACCESS.2018.2867901
IEEE ACCESS
Keywords
Field
DocType
Bounded Petri nets,discrete-event-systems,fault diagnosis
Graph,Petri net,Computer science,Theoretical computer science,Production line,Unobservable,Bounded function,Distributed computing,Traverse,Computational complexity theory
Journal
Volume
ISSN
Citations 
6
2169-3536
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Dandan Ye100.68
Weimin Wu223643.97
Jiliang Luo311110.86
Hongye Su43563187.46