Speed-independent circuit design using net-theoretic techniques

The authors propose the design of an asynchronous circuit using a new Petri net model called the signal transition net (STN) where no structural restriction needs to be imposed. The partial relations used for the specification and the important properties of the STN are described axiomatically and then analyzed based on the new notions of finiteness and completeness of the unfolding (see M. Nielsen et al., 1981) of the STN. Unfolding is a partial order semantic of Petri nets