Matrix Geometric Solution of Fluid Stochastic Petri Nets

András Horváth, Marco Gribaudo

Abstract:

Fluid (or Hybrid) Petri Nets with flush-out arcs are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), and fluid places that hold a positive amount of fluid, represented by a real number. For this kind of formalism, equations can be automatically derived from the model. Such equations, however, are often too complex to be solved analytically and simple discretization techniques usually can be successfully applied only to simple cases. In this paper we present a numerical technique for steady state solution that makes use of known matrix geometric techniques.

Postscript

[Publications of András Horváth]



András Horváth, 2008-06-25