| 基于变迁指标的Petri网分解方法 |
| |
| 引用本文： | 曾庆田.基于变迁指标的Petri网分解方法[J].计算机科学,2006,33(1):144-146. |
| |
| 作者姓名： | 曾庆田 |
| |
| 作者单位： | 中国科学院计算技术研究所,北京,100080;山东科技大学计算机科学与技术系,泰安,271019 |
| |
| 基金项目： | 中国科学院资助项目;山东省青年科学家科研奖励基金 |
| |
| 摘 要： | 通过定义Petri网变迁的指标函数，给出一种基于变迁指标的Petri网分解方法，通过分解得到子网系统均为结构简单的T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系。并且证明了通过子网之间的共享合成可以得到原先的网系统，这为Petri网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。
|
| 关 键 词： | Petri网 变迁指标 分解 可达状态 语言 Petri网分解 |
A Decomposition Method for Petri Net Based on the Index of Transitions |
| |
| ZENG Qing-Tian.A Decomposition Method for Petri Net Based on the Index of Transitions[J].Computer Science,2006,33(1):144-146. |
| |
| Authors: | ZENG Qing-Tian |
| |
| Abstract: | By defining the index function of transitions, a new decomposition method for Petri net is presented, with which the decomposed sub net systems are all T-nets. The structural and behavior properties during the decomposition process are analyzed with details, and it is proved that the original system can be obtained by the communion composi tion of the decomposed subnets. The conclusions and methods will benefit modeling and analyzing the physical systems based on Petri net. |
| |
| Keywords: | Petri net Index of transition Reachable states Language Decomposition of petri net |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
