SPN2MGM公司 swMATH ID: 30207 软件作者： B.R.哈维尔科特 描述： SPN2MGM：矩阵几何随机Petri网的工具支持。在本文中，我们提出了工具SPN2MGM，它可以用于使用矩阵几何技术构造和求解随机Petri网。该工具自动识别随机Petri网下马尔可夫链的“矩阵几何结构”，并使用这些众所周知且有效的技术求解马尔可夫链条。我们非正式地描述了一类感兴趣的随机Petri网（在较早的论文中给出了形式化定义），然后我们简要介绍了矩阵几何解方法。然后，我们通过讨论支持的模型类和使用的内部方法来概述SPN2MGM。最后，我们对出现故障的排队问题进行了案例研究。特别地，我们提出了一个排队系统模型，在该模型中，检查点可用于缩短服务器故障发生后的恢复过程。 主页： https://ieeexplore.ieee.org/document/540223 相关软件： SPNP公司；MGM工具；马赛尔；ARENA公司；TELPACK公司；OMNet公司++ 引用于： 1文件 由4位作者引用 1 冈特·博尔赫 1 赫尔曼·德·梅尔 1 斯特凡·格雷纳 1 特里维迪（Trivedi），基索尔·施里达尔巴伊（Kishor Shridharbbai） 0连载引用 在3个字段中引用 1 概率论与随机过程（60-XX） 1 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文