| 基于随机Petri网的乘积形式解存在判定 |
| |
| 引用本文： | 方贤文,洪永发. 基于随机Petri网的乘积形式解存在判定[J]. 计算机工程与设计, 2006, 27(8): 1338-1340 |
| |
| 作者姓名： | 方贤文 洪永发 |
| |
| 作者单位： | 1. 安徽理工大学,数理系,安徽,淮南,232001
2. 同济大学,电子与信息工程学院,上海,200092 |
| |
| 基金项目： | 中国科学院资助项目;安徽理工大学校科研和教改项目 |
| |
| 摘 要： | 给出了一个判定基于随机Petri网（SPN）的乘积形式解存在的定理.利用该判定定理,可以发现两部件自动组装生产线模型具有乘积形式解,据此可画出该模型的状态空间图,然后根据局部平衡方程,就可得到此模型任意状态的稳定概率.
|
| 关 键 词： | 随机Petri网 乘积形式解 连续时间马尔可夫链 稳定概率 |
| 文章编号： | 1000-7024（2006）08-1338-03 |
| 收稿时间： | 2005-01-28 |
| 修稿时间： | 2005-01-28 |
Determinant about exist of product-form solution based on stochastic Petri net |
| |
| FANG Xian-wen,HONG Yong-fa. Determinant about exist of product-form solution based on stochastic Petri net[J]. Computer Engineering and Design, 2006, 27(8): 1338-1340 |
| |
| Authors: | FANG Xian-wen HONG Yong-fa |
| |
| Affiliation: | 1, Department of Maths and Physics, Anhui University of Science and Technology, Huainan 232001, China; 2. Institute of Electronic and Information Engineering, Tongji University, Shanghai 200092, China |
| |
| Abstract: | A theorem is given to decide whether a product-form solution(PFS) based on stochastic Petri net exists.Using the theorem,PFS could be found in the product line model of two parts assembled automatically.Based on this,state space graph of the model is drawn.Finally,according to part balance equation,an arbitrary state steady probability of the model is obtained. |
| |
| Keywords: | stochastic Petri net(SPN) product-form solution(PFS) continuous time Markov chain(CTMC) steady probability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
