For the most recent entries see the Petri Nets Newsletter.

Petri Nets and their Relation to Design Validation and Testing.

Musgrave, G.

In: Lombardi, F.; et al.: Testing and Diagnosis of VLSI and ULSI. Proceedings of the NATO Advanced Study Institute, 1987, Como, Italy, pages 257-272. Dordrecht, The Netherlands: Kluwer Academic Publishers, 1988.

Abstract: The paper presents a new testing technique called PENTEGONS based on transforming the circuit under test from its circuit logic description into its equivalent Cubical Petri Net domain. The transformation process is an automated procedure.

Keywords: design validation (and) testing; PENTEGONS, circuit testing technique; circuit logic.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography