Keyword : occurrence net


On Deriving Logic Functions of Asynchronous Circuits by STG Unfoldings
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/03/25
Vol. E80-D  No. 3 ; pp. 336-343
Type of Manuscript:  Special Section PAPER (Special Issue on Asynchronous Circuit and System Design)
Category: Synthesis
Keyword: 
signal transition graphoccurrence netasynchronous circuitderive logic functionsstate space explosionspeed independence
 Summary | Full Text:PDF(619.5KB)

A Graph Theoretic Approach to Reachability Problem with Petri Net Unfoldings
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1809-1816
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
Petri netoccurrence netunfoldingreachability problem
 Summary | Full Text:PDF(716KB)

An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/06/25
Vol. E79-A  No. 6 ; pp. 818-824
Type of Manuscript:  Special Section PAPER (Special Section of Papers Selected from 1995 Joint Technical Conference on Circuits/Systems, Computers and Communications (JTC-CSCC '95))
Category: 
Keyword: 
signal transition graphoccurrence netasynchronous circuitderive logic functionsdvoidance of state space explosion
 Summary | Full Text:PDF(608.1KB)

An Efficient State Space Search for the Synthesis of Asynchronous Circuits by Subspace Construction
Toshiyuki MIYAMOTO Dong-Ik LEE Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1504-1510
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
signal transition graphoccurrence netasynchronous circuitderive logic functionsstate space explosion
 Summary | Full Text:PDF(618.3KB)