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

Some Subclasses of Petri Net with Confluence Property

作　　者：王鹏伟[1] 吴哲辉[1] 

机构地区：[1]山东科技大学信息科学与工程学院,青岛266510

出　　处：《计算机工程》2009年第4期44-47,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60673053;60603090);山东省优秀中青年科学家奖励基金资助项目(2006BS01019)

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

关 键 词：PETRI网 汇合性质 T-图 S-图 同步合成 共享合成 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]