DocumentCode :
2317081
Title :
Product form solution for a class of PEPA models
Author :
Hillston, Jane ; Thomas, Nigel
Author_Institution :
Dept. of Comput. Sci., Edinburgh Univ., UK
fYear :
1998
fDate :
7-9 Sep 1998
Firstpage :
152
Lastpage :
161
Abstract :
The advantages of the compositional structure within the Markovian process algebra PEPA for model construction and simplification have already been demonstrated. In this paper we show that for some PEPA models this structure may also be used to advantage during the solution of the model. Several papers offering product form solutions of stochastic Petri nets have been published during the last ten years. Recently R. Boucherie (1994) showed that these solutions were a special case of a simple exclusion mechanism for the product process of a collection of Markov chains. The results presented in this paper take advantage of his observation. In particular we show that PEPA models that generate such processes may be readily identified and show how the product form solution may be obtained. Although developed here in the context of PEPA the results presented can be easily generalised to any of the other stochastic process algebra languages
Keywords :
Markov processes; Petri nets; formal specification; performance evaluation; process algebra; Markovian process algebra PEPA; PEPA models; exclusion mechanism; performance modelling; product form solution; stochastic Petri nets; stochastic process algebra languages; Algebra; Computer science; Markov processes; Stochastic processes; Tensile stress;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Performance and Dependability Symposium, 1998. IPDS '98. Proceedings. IEEE International
Conference_Location :
Durham, NC
ISSN :
1087-2191
Print_ISBN :
0-8186-8679-0
Type :
conf
DOI :
10.1109/IPDS.1998.707718
Filename :
707718
Link To Document :
بازگشت