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