海伦娜·斯泽比卡 一种用于评估容错计算机系统性能的组合排队网络和随机Petri网方法。 （英语） Zbl 0749.68015号 执行。评估。 14，第3-4号，第217-226号（1992年）. 对于性能评估，最常用的是排队网络，它提供和估计性能度量，并能够捕获复杂系统的大多数特征。然而，为了保持可解性，他们受到了许多限制（例如，系统的结构可能不会改变，系统中不可能产生新的工作岗位，等等）。这些方面可以用随机Petri网的能力来覆盖，但在这里，我们受到了状态空间增长和计算效率下降的限制。将广义随机Petri网（GSPN）和排队网络结合在一个通过分解和聚合求解的模型中的思想已应用于性能模型，其中利用了Balbo等人提出的方法。产品形式排队网络无法直接处理的系统特征在模型的GSPN部分明确表示。在分解和聚合之后，BCMP（一种特殊类型的排队网络）子模型所描述的进一步部分被其流等价物所取代，所得到的高级模型由GSPN表示。容错系统的性能模型由两部分组成。第一个是GSPN的故障模型，因为它通常是非产品形式可解的，第二个代表系统的性能，可以用BCMP来描述。因此，该模型是BCMP子网与GSPN模型的控制部分交互的组合。审核人：拉卡托斯（布达佩斯） MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：排队网络;广义随机Petri网;容错系统 PDF格式BibTeX公司 XML格式引用 \textit{H.Szczerbicka}，执行。评估。14，编号3--4，217--226（1992；Zbl 0749.68015） 全文： 内政部