| 广义随机Petri网（GSPN）的一种可达集生成算法 |
| |
| 引用本文： | 张岚 李人厚. 广义随机Petri网（GSPN）的一种可达集生成算法[J]. 西安交通大学学报, 1991, 25(3): 63-72 |
| |
| 作者姓名： | 张岚 李人厚 |
| |
| 作者单位： | 西安交通大学信息与控制工程系(张岚)，西安交通大学信息与控制工程系(李人厚) |
| |
| 摘 要： | 广义随机Pctri网(GSPN)在离散事件系统的性能分析中得到广泛的应用。本文提供了用计算机自动进行GSPN可达性分析的算法,该算法可处理含禁止线,k有界的情况,也同时适用于PN、SPN模型,并给出几个应用本算法的例子。
|
| 关 键 词： | GSPN 可达集 PN 可达性 计算机 |
A REACHABILITY ANALYSIS ALGORITHM FOR GSPN |
| |
| Zhang Lan,Li Renhou. A REACHABILITY ANALYSIS ALGORITHM FOR GSPN[J]. Journal of Xi'an Jiaotong University, 1991, 25(3): 63-72 |
| |
| Authors: | Zhang Lan Li Renhou |
| |
| Affiliation: | Zhang Lan;Li Renhou Department of Information and Control Engineering |
| |
| Abstract: | In this paper an automatic analysis algorithm is provided for the reachability analysis of GSPNmodels with inhibitor arcs and K-bounded. The algorithm is also suitable for the reachability analysisof SPN models and PN models. Examples are given to show the uses of the algorithm. |
| |
| Keywords: | petri nets reachability stochastic model |
| 本文献已被 CNKI 维普 等数据库收录！ |
