論文 - 宮本　俊幸

非有界なネットのアンフォールディングと被覆性判定

宮本俊幸，笹川竜太郎，熊谷貞俊  ( 共著 )

電子情報通信学会論文誌A   J85-A ( 1 ) 57 - 65   2002年01月

研究論文（学術雑誌）  日本語

An Algorithm for Petri Nets Reachability by Unfoldings

Toshiyuki Miyamoto, Shun-ichiro Nakano, Sadatoshi Kumagai  ( 共著 )

IEICE Transactions on Fundamentals   E82A ( 3 ) 500 - 503   1999年03月

研究論文（学術雑誌）  英語

CiNii

On Deriving Logic Functions of Asynchronous Circuits by STG Unfoldings

MIYAMOTO Toshiyuki, KUMAGAI Sadatoshi  ( 共著 )

IEICE transactions on information and systems   80 ( 3 ) 336 - 343   1997年03月

研究論文（学術雑誌）  英語

CiNii

A Graph Theoretic Approach to Reachability Problem with Petri Net Unfoldings

Toshiyuki Miyamoto, Sadatoshi Kumagai  ( 共著 )

IEICE Trans. Fundamentals   79 ( 11 ) 1809 - 1816   1996年11月

研究論文（学術雑誌）  英語

CiNii

An Efficient State Space Search for the Synthesis of Asynchronous Circuits by Subspace Construction

Toshiyuki Miyamoto, Dong-Ik Lee, Sadatoshi Kumagai  ( 共著 )

IEICE Trans. on Fundamentals, Vol.E78-A, No.11, pp.1504-1510   78 ( 11 ) 1504 - 1510   1995年11月

研究論文（学術雑誌）  英語

CiNii

Equivalent Net Reduction for Firing Sequence

Masato Nakagawa, Mi, subishi Heavy, Industries Ltd, Sadatoshi Kumagai, Toshiyuki Miyamoto, Dong-Ik S. Lee, Kwang-Ju, Institution of Science, Technology  ( 共著 )

IEICE Trans. on Fundamentals, Vol.E78-A, No.11, pp1447-1457   78 ( 11 ) 1447 - 1457   1995年11月

研究論文（学術雑誌）  英語

CiNii