×

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

消耗积分:3 | 格式:rar | 大小:168 | 2009-03-21

分享资料个

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

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !