【24h】

Introduction to Stochastic Petri Nets

机译:随机Petri网简介

获取原文

摘要

Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their performance and reliability evaluation. The automatic construction of the probabilistic models that un-derly the dynamic behaviours of these nets rely on a set of results that derive from the theory of untimed Petri nets. The paper introduces the basic motivations for modelling DEDS and briefly overviews the basic results of net theory that are useful for the definition of Stochastic Petri Nets and Generalized Stochastic Petri Nets. The different approaches that have been used for introducing the concept of time in these models are discussed in order to provide the basis for the definition of SPNs and GSPNs as well. Details on the solution techniques and on ntheir computational aspects are provided. A brief overview of more advanced material is included at the end of the paper to highlight the state of the art in this field and to give pointers to relevant results published in the literature.
机译:随机Petri网是一种建模形式论,可以方便地用于离散事件动态系统(DEDS)的复杂模型的分析以及其性能和可靠性评估。这些网络的动态行为所依据的概率模型的自动构建依赖于从非定时Petri网理论得出的一组结果。本文介绍了建立DEDS的基本动机,并简要概述了网络理论的基本结果,这些结果对于定义随机Petri网和广义随机Petri网很有用。讨论了用于在这些模型中引入时间概念的不同方法,以便也为定义SPN和GSPN提供基础。提供了有关解决方案技术及其计算方面的详细信息。本文末尾包含对更高级材料的简要概述,以突出显示该领域的最新技术并提供文献中发表的相关结果的指针。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号