Simulation of Fluid Stochastic Petri Nets

Authors:
Marco Gribaudo;Matteo Sereno
Affiliations:
-;-
Venue:
MASCOTS '00 Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
Year:
2000

Citing 0
Cited 6

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

Discrete Event Dynamic Systems
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique

IEEE Transactions on Software Engineering
Efficient Random Process Generation for Reliable Simulation of Complex Systems

ICCS '01 Proceedings of the International Conference on Computational Science-Part II
Hybrid simulation of biochemical systems using hybrid adaptive Petri nets

Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications

Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Functional and Performability Properties of Stochastic Fluid Models

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a method for the simulation of Fluid Stochastic Petri Nets (FSPNs). The FSPNs are a promising formalism for modeling hybrid dynamic systems, that is, systems having both discrete and continuous components that evolve over time. Unfortunately, analytical evaluation of performance measures of such nets requires the solution of a complex system of integro-differential equations whose numerical analysis often becomes a formidable task. One of the possible ways for computing performance measures is the use of simulative approaches. Because of the mixed (discrete and continuous) state space, simulation of FSPNs models poses some interesting challenges, which are addressed in the paper. This paper provides a simulative approach for deriving performance measures for a class of FSPNs. The techniques described in the present paper are included in a simulation tool for this class of FSPNs.