For the most recent entries see the Petri Nets Newsletter.

High level modelling and design of asynchronous interface logic.

Yakovlev, A.; Koelmans, A.; Lavagno, L.

In: IEEE Design and Test of Computers, pages 32-40. 1995.

Keywords: asynchronous circuits, concurrent systems, design automation, FIFO buffers, interfaces, modelling, Petri net, signal transition graph, speed-independent circuits.


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

Back to the Petri Nets Bibliography