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.
Back to the Petri Nets Bibliography