Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis

Authors:
M. Gribaudo;M. Sereno;A. Horváth;A. Bobbio
Affiliations:
Dipartimento di Informatica, Università di Torino, 10149 Torino (Italy);Dipartimento di Informatica, Università di Torino, 10149 Torino (Italy);Dipartimento di Informatica, Università di Torino, 10149 Torino (Italy);Dipartimento di Scienze e Tecnologie Avanzate, Università del Piemonte Orientale, 15100 Alessandria (Italy)
Venue:
Discrete Event Dynamic Systems
Year:
2001

Citing 9
Cited 8

The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets

IEEE Transactions on Software Engineering
On the solution of GSPN reward models

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
Simulation of Fluid Stochastic Petri Nets

MASCOTS '00 Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs

PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets

PNPM '99 Proceedings of the The 8th 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
Computation of the distribution of accumulated reward with Fluid Stochastic Petri-Nets

IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)

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

IEEE Transactions on Software Engineering
Stochastic Petri Nets Models for the Performance Analysis of TCP Connections Supporting Finite Data Transfer

QoS-IP 2003 Proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant

SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
A new disk-based technique for solving the largeness problem of stochastic modeling formalisms

Journal of Systems and Software
Efficient steady-state analysis of second-order fluid stochastic Petri nets

Performance Evaluation
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications

Electronic Notes in Theoretical Computer Science (ENTCS)
Fluid models in performance analysis

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Petri net based evaluation of energy consumption in wireless sensor nodes

Journal of High Speed Networks

Quantified Score

Hi-index	0.01

Visualization

Abstract

Fluid(or Hybrid) Petri Nets are Petri net based models with two classesof places: discrete places that carry a natural number of distinctobjects (tokens), and fluid places that hold a positive amountof fluid, represented by a real number. With respect to previousformulations, the FSPN model presented in this paper, is augmentedwith a new primitive, called flush-out arc. A flush-out arc connectsa fluid place to a timed transition, and has the effect of instantaneouslyemptying the fluid place when the transition fires. The paperdiscusses the modeling power of the augmented formalism, andshows how the dynamics of the underlying stochastic process canbe analytically described by a set of integro-differential equations.A procedure is presented to automatically derive the solutionequations from the model specifications. The whole methodologyis illustrated by means of various examples.