|
|
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
(140.3KB)
|
|
|
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
(172.6KB)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
(54.2KB)
|
|
|
|
|
|
|
|
|
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
(40.6KB)
|
|
|
|
|
|
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
(265.1KB)
|
|
|
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
(225.5KB)
|
|
|
|
|
|
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/20
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
(183.1KB)
|
|
|
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/20
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
(128.6KB)
|
|
|
|
|
|
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/20
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
(153.2KB)
|
|
|
|
|
|
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/20
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
(521.7KB)
|
|
|
|