IEICE Trans

Keyword : concurrent system

Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies Nhat-Hoa TRAN Yuki CHIBA Toshiaki AOKI
Publication: Publication Date: 2019/07/01 Vol. E102-D No. 7 ; pp. 1280-1295 Type of Manuscript: PAPER Category: Software System Keyword: concurrent system, model checking, domain-specific language, system behaviors, scheduler,
	Summary \| Full Text:PDF(992.9KB)

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(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 system, Petri net, liveness, computational 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: scheduling, batch process, concurrent system, Petri net, integration,
	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 control, discrete event system, concurrent system, hierarchical 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 checking, fault tolerance, SMV, concurrent system, guarded 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 system, Petri net, liveness, computational 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 system, Petri net, liveness, computational 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 system, time Petri net, subclass, liveness,
	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 testing, concurrent system, logical time, conformance testing, asynchronous 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 specification, concurrent system, topology, abstract level of description technique, temporal 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 network, parameter tuning, concurrent system, qualitative reasoning, quantitative reasoning,
	Summary \| Full Text:PDF(790.2KB)