【摘要】 目前,判定一类随机Petri网(SPN)是否具有乘积形式解还没有比较好的方法。在这篇文章里给出了一个基于随机Petri网的乘积形式解存在的判定定理,它对于判定一些SPN模型是非常有用的。利用这个定理,可以发现两部件自动组装生产线模型具有乘积形式解,然后画出该模型的状态空间图,根据局部平衡方程,就可以得到此模型任意状态的稳定概率。更多还原

【Abstract】 At present, there is not better methods to decide if a kind of stochastic Petri nets(SPN) have the property of product-form solution. In the paper, a theorem about the exist of product-form solution based on stochastic petri net is given, which is very benefit to decide some SPN models. we can find that the pipeline of two parts assembled automatically has the property of product-form solution(PFS) by using the theorem, subsequently, drawing the state space graph of the model, according to the part balance equation ,we can obtain an arbitrary state steady probability of the model.更多还原