Fault identification of DES using Petri net

This paper deals with the problem of fault identification in discrete event systems. A designed system will produce deviation log, which often implies that there are faults in the actual operation of the system. However, these failures appear in the log in the form of invisible transitions. Therefore, how to quickly find these faults is a worth issue. In this paper two cases are studied within the framework of Petri net. Firstly, the prerequisite is that each transition in the system model is clearly identified, and we focus on how to find these faults from the deviation log. The status marking and the difference of the transition relationship are combined to identify these faults. Secondly, we extend it to label Petri net, i.e., some transitions in the system have the same name. The position of each label transition in the network system is clarified firstly, and then an improved algorithm is used to solve this kind of problem. Experiments are presented to demonstrate the effectiveness of proposed approaches.