| 基于变迁指标分解的Petri网性质分析 |
| |
| 引用本文： | 祝军,曾庆田.基于变迁指标分解的Petri网性质分析[J].计算机科学与探索,2010,4(8):761-768. |
| |
| 作者姓名： | 祝军 曾庆田 |
| |
| 作者单位： | 1. 山东科技大学信息科学与工程学院,山东,青岛,266510;同济大学电子与信息工程学院,上海,201804
2. 山东科技大学信息科学与工程学院,山东,青岛,266510 |
| |
| 基金项目： | 国家自然科学基金，教育部科技论文快速共享研究专项基金，山东省中青年科学家奖励基金，山东省教育厅项目，中科院计算机体系结构实验室开放基金 |
| |
| 摘 要： | Petri网的分解技术是复杂网系统分析的一种重要手段,基于变迁指标的分解方法将系统分解为一组T-网。通过获得分解子网的结构性质以及子网与原网间的性质保持关系,得到了判定原网结构性质的一些方法和结论;同时给出了判定原网系统活性的一个条件。所得结果为结构复杂Petri网的性质分析提供了有效的方法。
|
| 关 键 词： | Petri网分解 变迁指标 性质分析 |
| 修稿时间： | |
Property Analysis of Petri Nets Based on Decomposition According to Indexes of Transitions |
| |
| ZHU Jun,ZENG Qingtian.Property Analysis of Petri Nets Based on Decomposition According to Indexes of Transitions[J].Journal of Frontier of Computer Science and Technology,2010,4(8):761-768. |
| |
| Authors: | ZHU Jun ZENG Qingtian |
| |
| Affiliation: | 1. College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong 266510, China 2. School of Electronics and Information Engineering, Tongji University, Shanghai 201804, China |
| |
| Abstract: | Decomposition of Petri nets is an important approach to analyze the properties of complex net systems. With the decomposition method of Petri nets by defining an index function on the transition set, a net system can be decomposed into a set of T-nets. The properties of original net are provided by obtaining the properties of the de-composition subnets and the property preservation between the original net and the subnets. A determination condition for the liveness of the original net system is provided. The obtained results offer an effective way for property analysis of some structure- complex Petri nets. |
| |
| Keywords: | decomposition of Petri net indexes of transitions property analysis |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
