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.