For the most recent entries see the Petri Nets Newsletter.

Petrify-Based Verification of Asynchronous Circuits - Three Case Studies.

Yoeli, Michael; Kohn, Emil Dan

In: Technical Report, No. CS0959, pages 1-7. CS Dept, Technion, Haifa, Israel, January 2000.

Abstract: In this paper we illustrate the applicability of the Petri-net oriented tool `Petrify' to the semi-automated verification of asynchronous circuits, by means of three rather simple case studies.


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

Back to the Petri Nets Bibliography