Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems

: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered discrete event system is modelled by a live, bounded, and reversible place-transition Petri net. The notions of D-partition of the set of places P of a given place-transition net N and net kdistinguishability are first introduced. Next these two notions are extended to the set of all vertices, i.e. places and transitions of N. So the problem of fault identification of the vertices of N is transformed as a problem of fault identification of the places of a new net N´ called a net simulator of N . Any transition in N´ is assumed to be fault-free. Then the corresponding net place invariants are computed. The system k-distinguishability measure is obtained in a unique way from the place-invariant matrix. For a large value of k, the system model is extended by using some set of additional places called test point...

• Type: Journal
• Year: 2007
• Where: JUCS
• Authors: Iwan Tabakow
• Keywords: JUCS 2007, Net Oriented Fault, Petri Net P-invariants, Petri Nets