For the most recent entries see the Petri Nets Newsletter.

Petri-net Based Verification of Asynchronous Circuits.

Yoeli, Michael; Ginzburg, Abraham

In: Technical Report, No. CS0959, pages 1-14. CS Dept, Technion, Haifa, Israel, May 1999.

Abstract: The paper introduces a precise formulation of the relationship between specification and realization of asynchronous circuits. It demonstrates the suitability of Petri nets to the verification of modular, asynchronous circuits.


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

Back to the Petri Nets Bibliography