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-tra