In: LNCS, vol.3993, pages 168-175. 2006.
Abstract: The subject of this paper is the theory of fault distinguishable discrete event systems. Any such 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. 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 points. It is shown that the test point placement process will not change the above-assumed original net properties. Several examples are given.
Keywords: discrete event system; place-transition net; P-invariant; D-partition; k-distinguishability; test point.