This paper proposes an aggregate approach of extended stochastic Petri net and Markov renewal process to conduct behavior analysis and reliability performance evaluation for distributed/parallel systems. Petri net is used because of its highly visual nature that can give insight into the nature of the modeled system. Markov renewal process is introduced in order to increase the analytical power of Petri net model. Further, numerical measure values are defined as indices to evaluate the reliability performance of the system. The modeling and analytical approach presented in this paper makes it possible to evaluate performance of a system with probabilistic behavior following non-exponential time distribution. The proposed approach could be effectively applied to modeling and behavior analyzing for most asynchronous concurrent systems.
ASJC Scopus subject areas
- コンピュータ サイエンス（全般）