Hybrid Stochastic Petri Nets
Yunjian Ge · 2005
Second order Fluid Stochastic Petri nets are a modelingformalismusedforperformance and dependability evaluation of computer and communication systems.Hybrid Stochastic Petri nets are an extension of second order Fluid Stochastic Petrinets,in which the fluidjump arcs as a modeling pri mitive are assigned the functionthat instantaneously empties the fluid place connected toit.The dynamic equationsof the stochastic marking process are given,and in the derivation of the equationsthe discrete state transitions concurrent with fluidjumps are takeninto account forthe first ti me.Finally,the boundary conditions for the case in which fluid flowrates depend on fluid levels are presented,upon which the solution of the dynamicequations can be obtained directly by numerical methods.