Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: A Transient Analysis Technique

Marco Gribaudo, András Horváth


In this paper a numerical solution technique for the transient analysis of Fluid Stochastic Petri Nets with flush-out arcs has been presented. The transient solution is carried out applying an explicit discretization scheme. The matrices that describe the evolution of the transient probabilities are given by suitable expressions of vectors and matrices of relatively small size. This feature allows us to carry out memory-efficient implementation of the presented method.

The applicability of the transient solution was shown through the modeling of a multi-user system with garbage collection.


[Publications of András Horváth]

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