The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Analysis of stochastic Petri nets by the method of supplementary variables
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Transient solutions for the buffer behavior in statistical multiplexing
Performance Evaluation
Fluid models for single buffer systems
Frontiers in queueing
Transient analysis of stochastic fluid models
Performance Evaluation
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis
Discrete Event Dynamic Systems
A fluid queue driven by a Markovian queue
Queueing Systems: Theory and Applications
The Markov modulated regulated Brownian motion: A second-order fluid flow model of a finite buffer
Queueing Systems: Theory and Applications
A Finite Buffer Fluid Queue Driven by a Markovian Queue
Queueing Systems: Theory and Applications
Second-order stochastic fluid models with fluid-dependent flow rates
Performance Evaluation
Discrete-Event Simulation of Fluid Stochastic Petri Nets
IEEE Transactions on Software Engineering
FSPNs: Fluid Stochastic Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Jump Transitions in Second Order FSPNs
MASCOTS '99 Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
Discrete-event simulation of fluid stochastic Petri nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Fluid Stochastic Petri Nets: An Extended Formalism to Include Non-Markovian Models
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Analysis of resource transfers in peer-to-peer file sharing applications using fluid models
Performance Evaluation - P2P computing systems
Matrix-geometric algorithms for stochastic fluid flows
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Response time distribution of flash memory accesses
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Dynamic aspects and behaviors of complex systems in performance and reliability assessment
ACM SIGMETRICS Performance Evaluation Review
Verification of linear duration properties over continuous-time markov chains
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
Stochastic fluid models have been applied to model and evaluate the performance of many important real systems. The automatic analysis tools to support of fluid models are still not as improved as the ones for discrete state Markov models, but there is a wide range of models which can be effectively described and analyzed with fluid models. Also the model support of hybrid models from various performance evaluation tools improves continuously. The aim of this work is to summarize the basic concepts and the potential use of Markov fluid models. The factors which determine the limits of solvability of fluid models are also discussed. Practical guidelines can be extracted from these factors to determine the applicability of fluid models in practical modeling examples. The work is supported by an example where Fluid Models, derived from an higher level modeling language (Fluid Stochastic Petri Nets), have been exploited to study the transfer time distribution in Peer-to-Peer file sharing applications.