Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required Behavior.

Jochen Beister Ralf Wollowski Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required Behavior. 103-115 1992 conf/ifip10-2/1992 Synthesis for Control Dominated Circuits db/conf/ifip10-2/ifip10-2-1992.html#BeisterW92