• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Modelling and Simulation 2015 >Deriving the Performance indices in Product-form stochastic Petri nets Problems and simulation
【24h】

Deriving the Performance indices in Product-form stochastic Petri nets Problems and simulation

机译：推导产品形式随机Petri网的性能指标及仿真

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

摘要

Stochastic Petri nets are an important formalism used for the performance evaluation of computer and communication systems as well as other fields like bioin-formatics and logistics. Despite its high flexibility and modelling power, one of the problems of quantitative analyses based on stochastic Petri nets is the state space explosion, i.e., the high cardinality reached by the state space of even a structurally small SPN. As a consequence a direct analysis of the Markovian processes underlying the models is not feasible. Product-form Petri nets are a class of stochastic Petri nets whose invariant measure can be expressed as a product of functions, each of which depends only on a marking of a single place. Nevertheless, for the effective computation of the performance indices the computation of the stationary distribution is required. In this paper we propose a classification of product-form stochastic Petri nets based on the availability of algorithms for the computation of their stationary performance indices. Moreover, in case simulation is required, we introduce two stopping criteria that exploit the product-form property of the nets.
机译：随机Petri网是一种重要的形式主义，用于计算机和通信系统以及其他领域（如生物信息学和物流）的性能评估。尽管它具有很高的灵活性和建模能力，但是基于随机Petri网的定量分析问题之一是状态空间爆炸，即即使结构上很小的SPN，状态空间也能达到高基数。结果，直接分析基于模型的马尔可夫过程是不可行的。产品形式的Petri网是一类随机Petri网，其不变度量可以表示为函数的乘积，每个函数仅取决于单个位置的标记。然而，为了有效地计算性能指标，需要计算平稳分布。在本文中，我们根据计算平稳性能指标的算法的可用性，提出了产品形式随机Petri网的分类。此外，在需要模拟的情况下，我们介绍了两个利用网的产品形式属性的停止标准。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号