Keyword: avoidance of state space explosion

• Miyamoto, T.; Kumagai, S.:
  On Deriving Logic Functions of Asynchronous Circuits by STG Unfoldings. 1997.

• Miyamoto, T.; Kumagai, S.:
  An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits. 1996.

• Miyamoto, T.; Lee, D.-I.; Kumagai, S.:
  An Efficient Method to Derive Logic from Signal Transition Graphs for Asynchronous Circuits. 1995.

Back to the Petri Nets Bibliography