Technical Report Number
Methods are presented for synthesizing delay-insensitive circuits whose behavior is specified by Petri net models of macromodular control elements. These control elements implement five natural functions used in asynchronous system design. Particular attention is paid to modules requiring mutual exclusion where metastability must be carefully controlled.
Cox, J. R. and Zar, D., "Synthesis of Control Elements from Petri Net Models" Report Number: WUCSE-2005-43 (2005). All Computer Science and Engineering Research.