• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>12th International Conference on CONCUR 2001 - Concurrency Theory, 12th, Aug 20-25, 2001, Aalborg, Denmark >Towards an Efficient Algorithm for Unfolding Petri Nets
【24h】

Towards an Efficient Algorithm for Unfolding Petri Nets

机译：面向展开Petri网的高效算法

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

摘要

Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit such a semantics is to consider (finite prefixes of) net unfoldings, which contain enough information to reason about the reachable markings of the original Petri nets. In this paper, we propose several improvements to the existing algorithms for generating finite complete prefixes of net unfoldings. Experimental results demonstrate that one can achieve significant speedups when transition presets of a net being unfolded have overlapping parts.
机译：基于Petri网的因果偏序语义的模型检查是一种广泛用于解决状态空间爆炸问题的方法。利用这种语义的一种方法是考虑网络展开（的有限前缀），其中包含足够的信息来推断原始Petri网络的可达标记。在本文中，我们提出了对现有算法的一些改进，这些算法用于生成网络展开的有限完整前缀。实验结果表明，当展开的网络过渡预设具有重叠部分时，可以大大提高速度。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号