MEAN-VALUE ANALYSIS OF STOCHASTIC PETRI NETS

In this paper we present a Mean Value Analysis (MVA) algorithm for the computation of performance measures in Product Form Solution Stochast ic Petri Nets. Basic to the derivation of this algorithm are recursive expressions for the performance indices that are a non-trivial genera lization of those derived for the MVA of multiple class product form q ueueing networks. In this paper we give a formal derivation of several recursive relations as well as details on their implementation. The a dvantage that MVA provides for the development of approximation techni ques is also investigated and a first method that gives satisfactory r esults is presented. A few basic examples are evaluated with the techn iques discussed in this paper to show the advantages of this approach.