For the most recent entries see the Petri Nets Newsletter.

Synthesis of Self-timed VLSI Circuits from Graph-theoretic Specifications.

Chu, T.A.

In: Proc. of the IEEE Int. Conf. on Computer Design: VLSI in Computers and Processors (ICCD'87), pages 220-223. Washington: IEEE Computer Society Press, 1987.

Abstract: An approach is described for synthesis of self-timed control circuits from formal graph-theoretic specifications called signal transition graphs. These are a form of interpreted Petri nets where transitions in nets are interpreted as transitions of signals in control circuits.

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

Back to the Petri Nets Bibliography