In: Petri Net Newsletter No. 51, pages 32-38. December 1996.
Abstract: A testability measure called cost function for a single target fault is defined. It is introduced to guide the process of test gneration for synchronous realizations of Boolean intrepreted Petri nets. This measure is dynamically computed depending on the current marking and primary input vector associated with any such net. An example is given.
Keywords: dynamic controllability measures; token generation cost; token propagation cost; Boolean interpreted Petri nets; test generation.