摘要
证明活的标识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.
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第4期44-47,共4页
Computer Engineering
基金
国家自然科学基金资助项目(60673053
60603090)
山东省优秀中青年科学家奖励基金资助项目(2006BS01019)
