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

摘要：

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

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

所属期刊栏目：35

分类号：TP393(计算技术、计算机技术)

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

在线出版日期：2009-04-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：44-47