| 一种基于广义随机Petri网的分析器 |
| |
| 引用本文： | 张岚 李人厚. 一种基于广义随机Petri网的分析器[J]. 计算机学报, 1991, 14(5): 361-365 |
| |
| 作者姓名： | 张岚 李人厚 |
| |
| 作者单位： | 西安交通大学系统工程研究所，西安交通大学系统工程研究所 西安 710049，西安 710049 |
| |
| 摘 要： | 广义随机Petri网在离散事件系统的性能分析中得到广泛应用.本文介绍了能对含禁止线、K有界的GSPN模型进行稳态分析的自动分析工具,此工具同样适用于SPN模型的稳态分析和PN模型的可达性分析.并给出使用本软件的例子.
|
| 关 键 词： | 随机模型 Petri网 离散事件系统 |
A GSPN-BASED PETRI NET ANALYZER |
| |
| Zhang Lan and Li Renhou. A GSPN-BASED PETRI NET ANALYZER[J]. Chinese Journal of Computers, 1991, 14(5): 361-365 |
| |
| Authors: | Zhang Lan and Li Renhou |
| |
| Abstract: | Generalized Stochastic Petri Net (GSPN) has been widely applied to the performance analysis of discrete event systems. An automatic analysis algorithm is developed for the steady-state analysis of GSPN models with inhibitor are and K-bounded. The algorithm is also suitable for analysing the steady-state of SPN models and the reachability of PN. |
| |
| Keywords: | Petri net performance analysis stochastic model. |
| 本文献已被 CNKI 维普 等数据库收录！ |
