摘要
重新定义了一阶流体随机Petri网,其中,流体跳跃弧的跳跃高度取确定值,并被赋予在瞬间内清空与之相联接的连续库所的功能.给出了随机标识过程的动态方程,讨论了连续弧的流体流动速度为连续标识的函数而导致的概率值累积问题,使得直接用数值方法对模型的动态方程进行求解成为可能.
First order Fluid Stochastic Petri net was redefined. In the proposed formulation, the fluid jump arcs take deterministic jump height, and are augmented with the function of emptying in zero time the existing fluid from the continuous place connected with it. The dynamic equations of the stochastic marking process were presented. Finally the problem of probability mass accumulation for the case in which the fluid rates of continuous arcs depend on the continuous marking was analyzed, upon which the dynamic equations can be solved directly by numerical techniques