作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2009, Vol. 35 ›› Issue (4): 44-47. doi: 10.3969/j.issn.1000-3428.2009.04.015

• 软件技术与数据库 • 上一篇    下一篇

几种满足汇合性质的Petri网子类

王鹏伟,吴哲辉   

  1. (山东科技大学信息科学与工程学院,青岛 266510)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-02-20 发布日期:2009-02-20

Some Subclasses of Petri Net with Confluence Property

WANG Peng-wei, WU Zhe-hui   

  1. (College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-02-20 Published:2009-02-20

摘要: 证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T-图具有汇合性质,讨论共享合成与同步合成操作对Petri网汇合性质的保持性,得出由上述简单的Petri网子类通过共享合成及同步合成得到的复杂的网系统也具有汇合性质。通过一个具有汇合性质的复杂网系统实例验证该结论。

关键词: Petri网, 汇合性质, T-图, S-图, 同步合成, 共享合成

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.

Key words: Petri net, confluence property, T-graph, S-graph, synchronous synthesis, sharing synthesis

中图分类号: