For the most recent entries see the Petri Nets Newsletter.

Hardware and Petri Nets: Application to Asynchronous Circuit Design.

Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex

In: Nielsen, M.; Simpson, D.: Lecture Notes in Computer Science, Vol. 1825: 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 2000, pages 1-15. Springer-Verlag, 2000.

Abstract: 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.


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

Back to the Petri Nets Bibliography