Keyword : concurrent system


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)

Integration between Scheduling and Design of Batch Systems Based on Petri Net Models
Takashi ITO Susumu HASHIZUME Tomoyuki YAJIMA Katsuaki ONOGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 2989-2998
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
schedulingbatch processconcurrent systemPetri netintegration
 Summary | Full Text:PDF(946.2KB)

Control of Batch Processes Based on Hierarchical Petri Nets
Tomoyuki YAJIMA Takashi ITO Susumu HASHIZUME Hidekazu KURIMOTO Katsuaki ONOGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11 ; pp. 2895-2904
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Concurrent Systems
Keyword: 
batch controldiscrete event systemconcurrent systemhierarchical Petri net
 Summary | Full Text:PDF(730.8KB)

Verifying Fault Tolerance of Concurrent Systems by Model Checking
Tomoyuki YOKOGAWA Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11 ; pp. 2414-2425
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
symbolic model checkingfault toleranceSMVconcurrent systemguarded command
 Summary | Full Text:PDF(506.7KB)

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)

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)

An Approach for Testing Asynchronous Communicating Systems
Myungchul KIM Jaehwi SHIN Samuel T. CHANSON Sungwon KANG 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1999/01/25
Vol. E82-B  No. 1 ; pp. 81-95
Type of Manuscript:  PAPER
Category: Signaling System and Communication Protocol
Keyword: 
protocol testingconcurrent systemlogical timeconformance testingasynchronous communicating finite state machines
 Summary | Full Text:PDF(782.8KB)

A Topological Framework of Stepwise Specification for Concurrent Systems
Toshihiko ANDO Kaoru TAKAHASHI Yasushi KATO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1760-1767
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
stepwise specificationconcurrent systemtopologyabstract level of description techniquetemporal logic
 Summary | Full Text:PDF(571.1KB)

An Integrated Method for Parameter Tuning on Synchronized Queueing Network Bottlenecks by Qualitative and Quantitative Reasoning
Kiyoshi ITOH Takaaki KONNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/09/25
Vol. E75-D  No. 5 ; pp. 635-647
Type of Manuscript:  Special Section PAPER (Special Issue on Software)
Category: 
Keyword: 
synchronized queueing networkparameter tuningconcurrent systemqualitative reasoningquantitative reasoning
 Summary | Full Text:PDF(790.2KB)