Kenzo KURIHARA


Total High Performance Time and Design of Degradable Real-Time Systems
Masaharu AKATSU Tomohiro MURATA Kenzo KURIHARA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/03/25
Vol. E77-A  No. 3  pp. 510-516
Type of Manuscript:  Special Section PAPER (Special Section on the 6th Karuizawa Workshop on Circuits and Systems)
Category: Concurrent Systems, Discrete Event Systems and Petri Nets
Keyword: 
availabilityreliabilityperformancefault-tolerancemodelingPetri nets
 Summary | Full Text:PDF

Performance Analysis of Job Scheduling Policy for Interference Avoidance Using Stochastic Petri Nets
Takashi KOBAYASHI Kenzo KURIHARA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A  No. 10  pp. 3144-3151
Type of Manuscript:  Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems)
Category: 
Keyword: 
 Summary | Full Text:PDF

Verification of Error Recovery Specification for Distributed Data by Using Colored Petri Nets
Masaharu AKATSU Tomohiro MURATA Kenzo KURIHARA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A  No. 10  pp. 3159-3167
Type of Manuscript:  Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems)
Category: 
Keyword: 
 Summary | Full Text:PDF