| 一种构造Petri网可达图的方法 |
| |
| 引用本文： | 周建涛 叶新铭. 一种构造Petri网可达图的方法[J]. 内蒙古大学学报(自然科学版), 1999, 30(3): 392-395 |
| |
| 作者姓名： | 周建涛 叶新铭 |
| |
| 作者单位： | 内蒙古大学计算机学院 |
| |
| 摘 要： | Ｐｅｔｒｉ网是一种系统设计和分析的工具，为了完成Ｐｅｔｒｉ网的各项分析，还需借助如可达树、矩阵方程、可达图等工具．本文将提出可达图的一种构造方法
|
| 关 键 词： | Petri网；可达图；标识 |
An Approach to Construction of Reachability Graph of Petri Net |
| |
| ZHOU Jian tao,YE Xin ming. An Approach to Construction of Reachability Graph of Petri Net[J]. Acta Scientiarum Naturalium Universitatis Neimongol, 1999, 30(3): 392-395 |
| |
| Authors: | ZHOU Jian tao YE Xin ming |
| |
| Abstract: | Petri net is a useful tool for system analysis and design. To complete all sorts of analysis, one should use other tools such as reachability tree and matrix equation. In this paper, a new tool for Petri net analysis is presented. |
| |
| Keywords: | Petri net reachability graph marking |
| 本文献已被 CNKI 维普 等数据库收录！ |
