期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Petri网层次结构中的状态一致性研究 认领 被引量:1
1
作者 林雷蕾 代飞 +2 位作者 李彤 莫启 朱锐 《小型微型计算机系统》 CSCD 北大核心 2015年第7期1481-1486,共6页
Petri网被广泛用于建模和分析并行系统,但由于缺少层次结构,使之在实际应用中会遇到因结点数过多而产生状态空间爆炸的问题.针对上述问题,采用自顶向下的方式,运用子网对Petri网中的变迁进行细化操作,建立了整个系统模型的层次结构.其次... Petri网被广泛用于建模和分析并行系统,但由于缺少层次结构,使之在实际应用中会遇到因结点数过多而产生状态空间爆炸的问题.针对上述问题,采用自顶向下的方式,运用子网对Petri网中的变迁进行细化操作,建立了整个系统模型的层次结构.其次,讨论了子网在细化变迁过程中容易出现细化前后状态不一致问题.为此,通过对子网结构的限制,提出了具有良好结构的子网,并证明该类子网在细化操作过程中保持了状态一致性.最后,给出子网判定算法并将上述思想在实际例子中进行应用及在开源工具中实现. 展开更多
关键词 PETRI网 细化操作 层次结构 状态一致性 最大流 PIPE工具
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈