References
- Jensen , K. 1979 . “ Coloured petrinets and the invariant method ” . In DAIMI , Vol. PB-104 , Aarhus University . Computer Science Dept
- Peterson , J.L. 1981 . Petrinet theory and the modeling of systems , Prentice-Hall .
- Sellers , F.F. , Hsiao , M.Y. and Bearson , I.W. 1968 . Analysing errors with Boolean Difference . IEEE Trans. Comput , C-17 : 676 – 683 .
- Ku , C.T. and Masson , G.M. 1975 . The Boolean Difference and multiple fault analysis . IEEE Trans Comput , C-24 : 62 – 71 .
- Marinos , P.N. 1971 . Derivation of minimal complete sets of test input sequences . IEEE Trans. Comput , C-20 : 25 – 32 .
- Yau , S.S. and Tang , Y.S. 1971 . An efficient algorithm for generating complete test set for combinational logic circuits . IEEE Trans. Comput , C-20 : 1245 – 1251 .
- Poth , J.P. 1966 . Diagnosis of automatia—A calculus and method . I.B.M. J. Res. and Dev , 13 : 276 – 291 .
- Reed , I.S. 1973 . Boolean Difference calculus and fault finding . SIAM J. Appl. Math , 24 : 134 – 143 .
- Chiang , A.C.L. , Reed , I.S. and Banes , A.V. 1972 . Path sensitization, Partial Boolean Difference and automated fault diagnosis . IEEE Trans. Comput , C-21 : 189 – 195 .
- Bhowmik , K.B. , Thakur , R.K. and Bhattacharjee , P.R. 1981 . “ The Boolean Differences and multiple fault test set in combinational networks ” . In Calcutta ICCCS , Vol. 28 , Jadavpur University . Abstract
- Banerjee , S.N. , Thakur , R.K. and Bhattacharjee , P.R. 1985 . An efficient algorithm for single and multiple fault test sets generation . I.J.C.M , 18 ( 2 ) : 121 – 133 .
- Evengnii Radoikov , S. 1981 . Logical petrinets—a generalised model for parallel computation . Problemi Tekhn Kibernet , 12 : 12 – 21 . Robot
- Ghosh , S. , Thakur , R.K. and Bhattacharjee , P.R. 1984 . Computation of Boolean Difference and multiple fault test set , 12 ( 2 )
- Ghosh , S. , Thakur , R.K. and Bhattacharjee , P.R. 1984 . Petrinet modeling of logic circuits and its complete test set generation , 12 ( 2 )