基于随机Petri网的乘积形式解存在的一个充分条件

被引：1

作者：

方贤文

吴哲辉

倪丽娜

机构：

[1] 山东科技大学信息学院

[2] 山东科技大学信息学院泰安

[3] 泰安

来源：

系统仿真学报 | 2003年 / S1期

关键词：

随机Petri网; 乘积形式解; 连续时间马尔可夫链; 稳定概率;

D O I：

10.16182/j.cnki.joss.2003.s1.007

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

引用

页码：32 / 34+55 +55

页数：4