Aggregate Approach of Markov Renewal Process and Extended Stochastic Petri Net Model and Its Applications
Summary :
Markov Renewal Process (MRP) is an extremely powerful analyzing tool for concurrent systems. But it is often difficult to determine the correct Markov model for even moderately complex systems. Petri net is very descriptive and flexible in modeling various kinds of systems of concurrency and asynchronization. This paper presents an aggregate approach of Markov Renewal Process and Extended Stochastic Petri Net (ESPN) model, which allows incorporation of arbitrary time distributions. Using a descriptive "language" like the ESPN for specifying a Markov model of a system, the analyzing power of MRP can be exploited more easily. Moreover, an Abstract Partial Reachability Graph (APRG) is introduced to simplify the Markov solution. In addition, the aggregate approach of MRP and ESPN is applied to analyze a parallel message system.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E74-A No.6 pp.1479-1485
- Publication Date
- 1991/06/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- PAPER
- Category
- Systems and Control
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Qun JIN, Yoshio SUGASAWA, Koichiro SEYA, "Aggregate Approach of Markov Renewal Process and Extended Stochastic Petri Net Model and Its Applications" in IEICE TRANSACTIONS on Fundamentals,
vol. E74-A, no. 6, pp. 1479-1485, June 1991, doi: .
Abstract: Markov Renewal Process (MRP) is an extremely powerful analyzing tool for concurrent systems. But it is often difficult to determine the correct Markov model for even moderately complex systems. Petri net is very descriptive and flexible in modeling various kinds of systems of concurrency and asynchronization. This paper presents an aggregate approach of Markov Renewal Process and Extended Stochastic Petri Net (ESPN) model, which allows incorporation of arbitrary time distributions. Using a descriptive "language" like the ESPN for specifying a Markov model of a system, the analyzing power of MRP can be exploited more easily. Moreover, an Abstract Partial Reachability Graph (APRG) is introduced to simplify the Markov solution. In addition, the aggregate approach of MRP and ESPN is applied to analyze a parallel message system.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e74-a_6_1479/_p
Copy
@ARTICLE{e74-a_6_1479,
author={Qun JIN, Yoshio SUGASAWA, Koichiro SEYA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Aggregate Approach of Markov Renewal Process and Extended Stochastic Petri Net Model and Its Applications},
year={1991},
volume={E74-A},
number={6},
pages={1479-1485},
abstract={Markov Renewal Process (MRP) is an extremely powerful analyzing tool for concurrent systems. But it is often difficult to determine the correct Markov model for even moderately complex systems. Petri net is very descriptive and flexible in modeling various kinds of systems of concurrency and asynchronization. This paper presents an aggregate approach of Markov Renewal Process and Extended Stochastic Petri Net (ESPN) model, which allows incorporation of arbitrary time distributions. Using a descriptive "language" like the ESPN for specifying a Markov model of a system, the analyzing power of MRP can be exploited more easily. Moreover, an Abstract Partial Reachability Graph (APRG) is introduced to simplify the Markov solution. In addition, the aggregate approach of MRP and ESPN is applied to analyze a parallel message system.},
keywords={},
doi={},
ISSN={},
month={June},}
Copy
TY - JOUR
TI - Aggregate Approach of Markov Renewal Process and Extended Stochastic Petri Net Model and Its Applications
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1479
EP - 1485
AU - Qun JIN
AU - Yoshio SUGASAWA
AU - Koichiro SEYA
PY - 1991
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E74-A
IS - 6
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - June 1991
AB - Markov Renewal Process (MRP) is an extremely powerful analyzing tool for concurrent systems. But it is often difficult to determine the correct Markov model for even moderately complex systems. Petri net is very descriptive and flexible in modeling various kinds of systems of concurrency and asynchronization. This paper presents an aggregate approach of Markov Renewal Process and Extended Stochastic Petri Net (ESPN) model, which allows incorporation of arbitrary time distributions. Using a descriptive "language" like the ESPN for specifying a Markov model of a system, the analyzing power of MRP can be exploited more easily. Moreover, an Abstract Partial Reachability Graph (APRG) is introduced to simplify the Markov solution. In addition, the aggregate approach of MRP and ESPN is applied to analyze a parallel message system.
ER -
English
