Efficient steady-state analysis of second-order fluid stochastic Petri nets
Performance Evaluation
Fluid models in performance analysis
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |
In this paper jump transitions for the fluid model part in second order fluid stochastic Petri nets (FSPNs) are introduced. The extended formalism is defined, and the underlying partial differential equations are derived. With a jump a certain amount of fluid is added to a fluid place or taken out at once. This amount, the jump height, is sampled from a probability distribution. The dynamics of a model are described by second order partial differential equations that include integrals. As examples the virtual waiting time (or unfinished work) in a queuing system and a performabilitymodel of a multi-processor system are modelled.