| 几种满足汇合性质的Petri网子类 |
| |
| 引用本文： | 王鹏伟,吴哲辉.几种满足汇合性质的Petri网子类[J].计算机工程,2009,35(4):44-47. |
| |
| 作者姓名： | 王鹏伟 吴哲辉 |
| |
| 作者单位： | 山东科技大学信息科学与工程学院,青岛,266510 |
| |
| 基金项目： | 国家自然科学基金，山东省优秀中青年科学家研究奖励基金 |
| |
| 摘 要： | 证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T．图具有汇合性质，讨论共享合成与同步合成操作对Petri网汇合性质的保持性，得出由上述简单的Petri网子类通过共享合成及同步合成得到的复杂的网系统也具有汇合性质。通过一个具有汇合性质的复杂网系统实例验证该结论。
|
| 关 键 词： | Petri网 汇合性质 T-图 S-图 同步合成 共享合成 |
| 修稿时间： | |
Some Subclasses of Petri Net with Confluence Property |
| |
| WANG Peng-wei,WU Zhe-hui.Some Subclasses of Petri Net with Confluence Property[J].Computer Engineering,2009,35(4):44-47. |
| |
| Authors: | WANG Peng-wei WU Zhe-hui |
| |
| Affiliation: | College of Information Science and Engineering;Shandong University of Science and Technology;Qingdao 266510 |
| |
| Abstract: | This paper proves that some subclasses of Petri nets have confluence property,such as live marked S-graphs,live marked T-graphs,bounded conflict-free Petri nets and bounded marked T-graphs,discusses the preservation problems for confluence property in synchronous and sharing synthesis of Petri net systems,and finds that complex net systems composed by these simple subclasses also have confluence property.An example of complex net systems with confluence property is given to verify the conclusion. |
| |
| Keywords: | Petri net confluence property T-graph S-graph synchronous synthesis sharing synthesis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
