Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets.

For the most recent entries see the Petri Nets Newsletter.

Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets.

Yakovlev, A.; Koelmans, A.M.; Semenov, A.; Kinniment, D.J.

In: Integration: The VLSI Journal, Vol. 21, pages 143-170. 1996.

Keywords: asynchronous circuits, asynchronous controllers, design automation, modelling, Petri net, signal transition graph, synthesis, tools, verification.

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

Back to the Petri Nets Bibliography