• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Seventh International Conference on the Quantitative Evaluation of Systems >DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN
【24h】

DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN

机译：DSPN-Tool：适用于GreatSPN的新型DSPN和GSPN解算器

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

摘要

Generalized and Deterministic Stochastic Petri Nets (GSPN and DSPN) and their relative solvers have been around for a while. In the last years research on GSPN solution has mainly concentrated on efficient data structure for state space representation, while little has been published on DSPN. Strangely enough although, the DSPN solvers available do still exhibit a number of limitations, most notably that no steady state solver is available for non-ergodic DSPNs. This demo tool presentation introduces the new DSPN solver that was developed, and which has been inserted in GreatSPN. With the occasion also a new GSPN solver has been added, which allows for more flexibility in the net definition, and an easier integration with other tools.
机译：广义和确定性随机Petri网（GSPN和DSPN）及其相对求解器已经存在了一段时间。近年来，关于GSPN解决方案的研究主要集中在用于状态空间表示的有效数据结构上，而关于DSPN的文献很少。尽管足够奇怪，但是可用的DSPN求解器仍然表现出许多限制，最值得注意的是，对于非遍历DSPN而言，没有稳态求解器。该演示工具演示介绍了已开发的新DSPN求解器，该求解器已插入到GreatSPN中。在这种情况下，还添加了新的GSPN求解器，它使网络定义具有更大的灵活性，并易于与其他工具集成。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号