| Atsushi OHTA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Verifying Structurally Weakly Persistent Net Is Co-NP Complete Atsushi OHTA Kohkichi TSUJI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2011/12/01
Vol. E94-A
No. 12
pp. 2832-2835
Type of Manuscript:
Special Section LETTER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: concurrent system, Petri net, subclass, computational complexity, | | Summary | Full Text:PDF | |
|
Computational Complexity of Liveness Problem of Normal Petri Net Atsushi OHTA Kohkichi TSUJI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/11/01
Vol. E92-A
No. 11
pp. 2717-2722
Type of Manuscript:
Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications) Category: Keyword: concurrent system, Petri net, liveness, computational complexity, | | Summary | Full Text:PDF | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FOREWORD Atsushi OHTA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/11/01
Vol. E89-A
No. 11
pp. 3165-3165
Type of Manuscript:
FOREWORD Category: Keyword:
| | Summary | Full Text:PDF | |
|
|
|
|
|
|
|
FOREWORD Atsushi OHTA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/04/01
Vol. E87-A
No. 4
pp. 773-773
Type of Manuscript:
FOREWORD Category: Keyword:
| | Summary | Full Text:PDF | |
|
NP-Hardness of Liveness Problem of Bounded Asymmetric Choice Net Atsushi OHTA Kohkichi TSUJI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/05/01
Vol. E85-A
No. 5
pp. 1071-1074
Type of Manuscript:
Special Section LETTER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: concurrent system, Petri net, liveness, computational complexity, | | Summary | Full Text:PDF | |
|
Polynomial Time Decidability of Monotone Liveness of Time Bounded AC/DC Nets Atsushi OHTA Kohkichi TSUJI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/11/01
Vol. E84-A
No. 11
pp. 2865-2870
Type of Manuscript:
Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: concurrent system, Petri net, liveness, computational complexity, | | Summary | Full Text:PDF | |
|
|
|
Turing Machine Equivalence of Time Asymmetric Choice Nets Atsushi OHTA Kohkichi TSUJI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A
No. 11
pp. 2278-2281
Type of Manuscript:
Special Section LETTER (Special Section on Concurrent Systems Technology) Category: Keyword: time Petri net, Turing machines, decidability, | | Summary | Full Text:PDF | |
|
On Liveness of Extended Partially Ordered Condition Nets Atsushi OHTA Kohkichi TSUJI Tomiji HISAMURA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/11/25
Vol. E82-A
No. 11
pp. 2576-2578
Type of Manuscript:
Special Section LETTER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, liveness, siphon, trap, | | Summary | Full Text:PDF | |
|
|
|
An Algebraic Criterion for State Machine Allocatable Nets Atsushi OHTA Tomiji HISAMURA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A
No. 4
pp. 626-627
Type of Manuscript:
Special Section LETTER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, state machine allocatable net, free choice net, | | Summary | Full Text:PDF | |
|
|
|
On Some Analysis Properties of Petri Net Systems under the Earliest Firing Rule Atsushi OHTA Tomiji HISAMURA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A
No. 11
pp. 1791-1796
Type of Manuscript:
Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications) Category: Keyword: Petri nets, the earliest furing rule, liveness, reachability, | | Summary | Full Text:PDF | |
|
|