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.
András Horváth, 2008-06-25