• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Parallel and Distributed Systems >Dependency analysis-a Petri-net-based technique for synthesizing large concurrent systems
【24h】

Dependency analysis-a Petri-net-based technique for synthesizing large concurrent systems

机译：依赖分析-一种基于Petri网的大型并发系统综合技术

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Petri nets (PNs) are frequently used in modeling, designing, and analyzing concurrent systems. A problem with PNs, in the general case, is that they require high computational complexity to analyze their properties, such as reachability, liveness, and boundedness. To avoid this problem, synthesis techniques for constructing large PNs are presented. Using these techniques, the behavior of the constructed PN can be determined by local analysis that uses known properties of the given nets. Thus, the high computational complexity of global analysis is bypassed. A synthesis technique that explores dependency relations in PNs is presented. It synthesizes large PNs by combining smaller PNs of arbitrary topology structures, and the combination is verified efficiently by dependency analysis. A large system based on a PN can be built up by repeated applications of the technique.
机译：Petri网（PN）经常用于建模，设计和分析并发系统。通常，PN的问题在于，它们需要很高的计算复杂度才能分析其属性，例如可达性，活动性和有界性。为了避免这个问题，提出了用于构造大PN的合成技术。使用这些技术，可以通过使用给定网络的已知属性的局部分析来确定所构造的PN的行为。因此，绕过了全局分析的高计算复杂性。提出了一种探索PN中依赖关系的综合技术。它通过组合任意拓扑结构的较小PN来合成大型PN，并通过依赖性分析有效地验证了该组合。可以通过重复应用该技术来构建基于PN的大型系统。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号