IEICE SEARCH SYSTEM

Keyword : concurrent systems

The Liveness of WS³PR: Complexity and Decision GuanJun LIU ChangJun JIANG MengChu ZHOU Atsushi OHTA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2013/08/01 Vol. E96-A No. 8 ; pp. 1783-1793 Type of Manuscript: PAPER Category: Concurrent Systems Keyword: concurrent systems, Petri nets, liveness, deadlock, resource allocation,
	Summary \| Full Text:PDF

Propositional Temporal Linear Logic and Its Application to Concurrent Systems Takaharu HIRAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/11/25 Vol. E83-A No. 11 ; pp. 2219-2227 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: temporal linear logic, concurrent systems, synchronous communication, timed Petri nets, reachability,
	Summary \| Full Text:PDF

Necessary and Sufficient Condition of Structural Liveness for General Petri Nets with Globally Structural Live Minimal Deadlocks Tadashi MATSUMOTO Shinichi YAMAZAKI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/12/25 Vol. E78-A No. 12 ; pp. 1875-1889 Type of Manuscript: PAPER Category: Concurrent Systems Keyword: concurrent systems, general Petri nets, structural liveness, singular minimal deadlocks, semi-minimal deadlock,
	Summary \| Full Text:PDF

On Symbolic Model Checking in Petri Nets Kunihiko HIRAISHI Minoru NAKANO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-A No. 11 ; pp. 1479-1486 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: state space explosion, discrete event systems, concurrent systems, system verification,
	Summary \| Full Text:PDF

Reduced State Space Generation of Concurrent Systems Using Weak Persistency kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-A No. 10 ; pp. 1602-1606 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: state space explosion, discrete event systems, concurrent systems, system verification,
	Summary \| Full Text:PDF

Activities on Net Theory in Japan Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/07/25 Vol. E77-A No. 7 ; pp. 1125-1131 Type of Manuscript: Special Section PAPER (Special Section on Surveys of Researches in CAS Fields in the Last Two Decades, ) Category: Keyword: Petri net, net theory, discrete event systems, concurrent systems,
	Summary \| Full Text:PDF

PDM: Petri Net Based Development Methodology for Distributed Systems Mikio AOYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/10/25 Vol. E76-A No. 10 ; pp. 1567-1579 Type of Manuscript: INVITED PAPER (Special Section on Nets-Oriented Software Specification and Design) Category: Keyword: Petri net, distributed systems, concurrent systems, formal specification, design methodology, verification and validation, perfomance evaluation, and computer-aided software engineering,
	Summary \| Full Text:PDF