|
|
Toshiyuki MIYAMOTO
|
|
|
|
|
|
|
|
|
|
FOREWORD
Toshiyuki MIYAMOTO
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/11/01
Vol. E92-A
No. 11
pp. 2706-2706
Type of Manuscript: FOREWORD
Category:
Keyword:
|
| |
Summary |
Full Text:PDF
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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/20
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 net,
occurrence net,
unfolding,
reachability problem,
|
| |
Summary |
Full Text:PDF
|
|
|
|
|
|
|
|
|
|
|
|
|
