|
| Kohkichi TSUJI
|
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 | |
|
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 | |
|
FOREWORD
Kohkichi TSUJI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A
No. 11
pp. 2165-2165
Type of Manuscript:
FOREWORD
Category:
Keyword:
| | | 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 | |
|
FOREWORD
Kohkichi TSUJI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/03/25
Vol. E82-A
No. 3
pp. 411-411
Type of Manuscript:
FOREWORD
Category:
Keyword:
| | | Summary | Full Text:PDF | |
| |
|
| |
|
| |
|
|
A Useful Necessary Condition and a Simple Sufficient Condition for Liveness of General Petri Nets
Tadashi MATSUMOTO Kohkichi TSUJI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A
No. 10
pp. 3124-3132
Type of Manuscript:
Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems)
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
On the Liveness of Extended Marked Graphs
Kohkichi TSUJI Sadatoshi KUMAGAI Shinzo KODAMA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1986/12/25
Vol. E69-E
No. 12
pp. 1279-1288
Type of Manuscript:
PAPER
Category: Mathematics, Combinatorics and Graph Theory
Keyword:
| | | Summary | Full Text:PDF | |
|
|