...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Advances in Mechanical Engineering >On state-space compression and state reachability retrieval of Petri nets:
【24h】

On state-space compression and state reachability retrieval of Petri nets:

机译：关于Petri网的状态空间压缩和状态可达性检索：

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The problem of state-space explosion and state reachability decision has been a focus in Petri net analysis. In this article, some algorithms based on data features of state space are proposed for state-space reduction and reachability analysis in Petri nets. A caching arrangement algorithm for the state reachability graph is proposed to alleviate the memory overhead when all states are generated by a traditional reachability graph generation algorithm. For the reduction of the state space, a compression algorithm based on a hybrid coding is formulated. The changing characteristics of state elements are fully utilized to realize a sharp reduction of the whole state space. For the state reachability analysis, a state reachability retrieval algorithm based on the locally sensitive hashing is reported. In this algorithm, all the states in the compressed state space are distributed to different hash buckets according to the distances among the states, which realize the primary state retrieval efficiently. The...
机译：状态空间爆炸和状态可达性决策问题一直是Petri网分析的重点。本文提出了一些基于状态空间数据特征的算法，用于Petri网中的状态空间缩减和可达性分析。提出了一种状态可达性图的缓存安排算法，以减轻传统可达性图生成算法生成所有状态时的内存开销。为了减少状态空间，提出了一种基于混合编码的压缩算法。充分利用状态元素的变化特性，可以实现整个状态空间的急剧减少。为了进行状态可达性分析，报告了一种基于局部敏感哈希的状态可达性检索算法。该算法将压缩状态空间中的所有状态根据状态之间的距离分布到不同的哈希桶中，从而有效地实现了原始状态的检索。那个...

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号