In: LNCS, Vol. 3682, pages 541-547. 2005.
Abstract: This paper describes a method of using Petri net P-invariants in system diagnosis. The considered discrete event system is modelled by a live, bounded, and reversible place-transition net. The notions of D-partition of the set of places P of a given place-transition net N and net k-distinguishability are first introduced. Two different diagnosis test strategies are discussed and several examples are given.
Keywords: P-invariant; D-partition; system diagnosis.