摘要
二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.
Second order Fluid Stochastic Petri nets are a modeling formalism used for performance and dependability evaluation of computer and communication systems. Hybrid Stochastic Petri nets are an extension of second order Fluid Stochastic Petri nets, in which the fluid jump arcs as a modeling primitive are assigned the function that instantaneously empties the fluid place connected to it. The dynamic equations of the stochastic marking process are given, and in the derivation of the equations the discrete state transitions concurrent with fluid jumps are taken into account for the first time. Finally, the boundary conditions for the case in which fluid flow rates depend on fluid levels are presented, upon which the solution of the dynamic equations can be obtained directly by numerical methods.
