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

被引:0
作者
M. Gribaudo
M. Sereno
A. Horváth
A. Bobbio
机构
[1] Università di Torino,Dipartimento di Informatica
[2] Università del Piemonte Orientale,Dipartimento di Scienze e Tecnologie Avanzate
来源
Discrete Event Dynamic Systems | 2001年 / 11卷
关键词
stochastic reward models; Petri nets; fluid stochastic Petri nets; performance analysis;
D O I
暂无
中图分类号
学科分类号
摘要
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.
引用
收藏
页码:97 / 117
页数:20
相关论文
共 23 条
[1]  
Ajmone Marsan M.(1989)The effect of execution policies on the semantics and analysis of stochastic Petri nets IEEE Trans. on Software Eng 15 832-846
[2]  
Balbo G.(1998)Recent developments in non-Markovian stochastic Petri nets J. of Systems Circuits and Computers 8 119-158
[3]  
Bobbio A.(1991)On the solution of GSPN reward models Performance Evaluation 12 237-253
[4]  
Chiola G.(1999)Discrete-event Simulation of Fluid Stochastic Petri Nets IEEE Trans. on Software Eng 2 207-217
[5]  
Conte G.(1955)The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables Proc. of the Cambridge Phylosophical Society 51 433-440
[6]  
Cumani A.(1994)Statistical multiplexing with loss priorities in rate-based congestion control of high-speed networks IEEE Trans. on Communications 42 2989-3002
[7]  
Bobbio A.(1998)Fluid stochastic Petri nets: Theory, application, and solution techniques Eur. J. Op. Res. 105 184-201
[8]  
Puliafito A.(undefined)undefined undefined undefined undefined-undefined
[9]  
Telek M.(undefined)undefined undefined undefined undefined-undefined
[10]  
Trivedi K. S.(undefined)undefined undefined undefined undefined-undefined