For the most recent entries see the Petri Nets Newsletter.

Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers.

Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.

In: IEICE Trans. Inf. and Syst., pages 315-325. March 1997.

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

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

Back to the Petri Nets Bibliography