I.V.塔拉修克。 dtsPBC的性能保持等价项。 （英语） Zbl 1374.68343号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 3155-178（2010年）. 摘要：对于有限Petri盒演算（PBC）的离散时间随机扩展dtsPBC，我们定义了一些随机等价。它们允许人们识别具有相似行为的过程，这些过程通过演算的过于区分的语义等价性来区分。我们研究了保证随机系统性能指标一致性的最弱等价性，并可用于简化其性能评估。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：随机过程代数;Petri盒演算;迭代;离散时间;随机等价物;平稳行为;绩效评估 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk}，Jt。牛市。NCC IIS，序列号。计算。科学。31155--178（2010年；Zbl 1374.68343） 全文： 链接