Keyword : subclass


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)

On Liveness of Time POC Nets with the Static Fair Condition
Atsushi OHTA Tomiji HISAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/08/25
Vol. E82-A  No. 8 ; pp. 1648-1655
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
concurrent systemtime Petri netsubclassliveness
 Summary | Full Text:PDF(352.4KB)