Test generation for sequentiel logic circuits using petri nets

Iwan Tabakow. Test generation for sequentiel logic circuits using petri nets. BIAA, 39:15-28, 1994. [doi]

Abstract

Abstract is missing.