In: Int. J. Comput. Math. (UK) Vol. 25, No. 2, pages 83-100. 1988.
Abstract: A new and a graph theoretic approach based on Petri net model for calculating any order Boolean difference has been suggested. The concept of Boolean difference has also been extended to generate a complete test set for all possible multiple faults on any number of lines of a logic circuit.