Keyword : concurrent systems


The Liveness of WS3PR: 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 systemsPetri netslivenessdeadlockresource 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 logicconcurrent systemssynchronous communicationtimed Petri netsreachability
 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 systemsgeneral Petri netsstructural livenesssingular minimal deadlockssemi-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 explosiondiscrete event systemsconcurrent systemssystem 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 explosiondiscrete event systemsconcurrent systemssystem 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 netnet theorydiscrete event systemsconcurrent 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 netdistributed systemsconcurrent systemsformal specificationdesign methodologyverification and validationperfomance evaluationand computer-aided software engineering
 Summary | Full Text:PDF