Toggle Main Menu Toggle Search

Open Access padlockePrints

Hardware and Petri nets: Application to asynchronous circuit design

Lookup NU author(s): Professor Alex Yakovlev


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Asynchronous circuits is a discipline in which the theory of concurrency is applied to hardware design. This paper presents an overview of a design framework in which Petri nets are used as the main behavioral model for specification. Techniques for synthesis, analysis and formal verification of asynchronous circuits are reviewed and discussed.

Publication metadata

Author(s): Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000

Year of Conference: 2000

Pages: 1-15

ISSN: 3540676937

Publisher: Springer


Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computing Science