Jochen Beister, Ralf Wollowski Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required Behavior. [Citation Graph (0, 0)][DBLP] Synthesis for Control Dominated Circuits, 1992, pp:103-115 [Conf]