Asynchronous machines exhibiting concurrency
Charles L. Seitz · 1970
This paper proceeds from a simple analogy between the Huffman primitive flow table for asynchronous sequential machines and Petri nets. This analogy is used to generalize the Huffman flow table as a special form of Petri net, called an m-net, which allows one to design asynchronous machines which exhibit concurrent behavior with respect to their inputs, outputs, and (total) internal state. The problem of simultaneous input changes is identified as requiring either arbitration or concurrency. A design example is given, which illustrates some of the advantages and nearly all the difficulties of this technique.