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 systemPetri netsubclasscomputational complexity
 Summary | Full Text:PDF(139.6KB)

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 systemPetri netlivenesscomputational complexity
 Summary | Full Text:PDF(173.5KB)

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 systemPetri netlivenesscomputational complexity
 Summary | Full Text:PDF(263.3KB)

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 systemPetri netlivenesscomputational complexity
 Summary | Full Text:PDF(223.4KB)

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(138.8KB)

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 netTuring machinesdecidability
 Summary | Full Text:PDF(181.3KB)

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 netlivenesssiphontrap
 Summary | Full Text:PDF(126.3KB)

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(87.7KB)

Necessary and Sufficient Condition of Structural Liveness for General Petri Nets--Virtual Deadlock-Trap Properties--
Tadashi MATSUMOTO Ken SAIKUSA Kohkichi TSUJI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/12/25
Vol. E78-A  No. 12  pp. 1862-1874
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
general Petri netsstructural livenessvirtual deadlock-trap propertiesbehavioral trapsnew subclass Nn
 Summary | Full Text:PDF(1.1MB)

A Method to Validate the Correctness of Test Logic Programs Applied in a Protocol Conformance Test System Using Petri Nets
Hiroto SUZUKI Kohkichi TSUJI Tetsuo ARAKI Osamu TAKAHASHI Shizuo YOSHITAKE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10  pp. 1663-1671
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
Petri netsreachabilityconformance testOSI protocoltest logictest spquence
 Summary | Full Text:PDF(845.8KB)

An Equivalence Net-Condition between Place-Liveness and Transition -Liveness of Petri Nets and Their Initial-Marking-Based Necessary and Sufficient Liveness Conditions
Tadashi MATSUMOTO Kohkichi TSUJI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/01/25
Vol. E77-A  No. 1  pp. 291-301
Type of Manuscript:  PAPER
Category: Graphs, Networks and Matroids
Keyword: 
place and transition live Petri netsone-token-condition Petri netslivenesstransition-livenessplace-livenessbehavioral trapsthe minimal models for traps and deadlocks
 Summary | Full Text:PDF(945.9KB)

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(606.4KB)

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(723.4KB)