I.V.塔拉修克。 dtsPBC中广义共享存储系统的性能评估。 （英语） Zbl 1374.68087号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 32, 127-155 (2011). 摘要：代数dtsPBC是有限Petri盒演算（PBC）的离散时间随机扩展，并通过迭代进行了丰富。本文基于平稳行为分析，提出了一种dtsPBC并发系统的建模和性能评估方法。然后将该方法应用于活动概率可变的广义共享存储系统。 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：随机过程代数;Petri盒演算;离散时间;迭代;平稳行为;绩效评估;共享存储系统;可变概率 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk}，Jt。牛市。NCC IIS，序列号。计算。科学。32127--155（2011年；Zbl 1374.68087） 全文： 链接