For the most recent entries see the Petri Nets Newsletter.

On the Models for Asynchronous Circuit Behaviour with OR Causality.

Yakovlev, A.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Pietkiewicz-Koutny, M.

In: Formal Methods in System Design, pages 189-234. November 1996.

Keywords: asynchronous circuits, causal logic nets, causality, concurrent systems, design automation, distributive lattices, modelling, OR-causality, Petri net, semi-modular circuits, 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