×
塔拉修克，I。;马西娅，H。;瓦伦丁·瓦莱罗

代数dtsiPBC中并发系统的性能分析。 （英语。俄文原件） Zbl 1339.68033号

程序。计算。柔和。 40，第5期，229-249（2014）; 译自Programmirovanie 40，No.5（2014）。
摘要：Petri盒演算PBC是一个著名的具有Petri网语义的并发过程代数。本文考虑了具有离散随机时间和立即多重作用的PBC的一种推广，即离散时间随机立即PBC（dtsiPBC）。在新的随机过程代数框架下，研究了具有随机时滞的并发和分布式系统的性能分析方法。结果表明，性能评估不仅可以通过dtsiPBC表达式的潜在半马尔可夫链进行，还可以使用潜在的离散时间马尔可夫链条进行，后者的分析技术更为优化。

引用于1审查
引用于三文件

MSC公司：

68平方米 计算机系统环境下的性能评估、排队和调度
第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

随机过程代数;随机Petri网;Petri盒演算;离散时间;立即多重作用;语义学;过渡系统;dtsi盒;性能分析;马尔可夫链
PDF格式BibTeX公司 XML格式引用
\textit{I.Tarasyuk}等人，《计划》。计算。柔和。40，第5号，229--249（2014；Zbl 1339.68033）；译自Programmirovanie 40，No.5（2014）
全文： 内政部

参考文献：

[1] Hermanns，H。；Rettelbach，M.，MTIPP的语法、语义、等价物和公理，71-88（1994）
[2] Hillston，J.，《绩效建模的组合方法》，剑桥（英国）：剑桥大学出版社，英国，1996年·Zbl 1080.68003号 ·doi:10.1017/CBO9780511569951
[3] Bernardo，M.和Gorrieri，R.，EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论，Theor。计算。科学。，1998年，第202卷，第1-54页·Zbl 0902.68075号 ·doi:10.1016/S0304-3975（97）00127-8
[4] Best，E.、Devillers，R.和Hall，J.G.，《盒子演算：具有多标签通信的新因果代数》，Lect。票据组成。科学。，1992年，第609卷。第21-69页·doi:10.1007/3-540-55610-9_167
[5] Best，E.和Koutny，M.，箱代数的精髓观点，Lect。票据组成。科学。，1995年，第935卷，第1-20页·Zbl 1496.68217号 ·doi:10.1007/3-540-60029-9_29
[6] Best，E.、Devillers，R.和Koutny，M.，Petri网代数，EATCS理论比较专著。科学。，斯普林格，2001年·Zbl 0968.68110号 ·doi:10.1007/978-3-662-04457-5
[7] Milner，R.A.J.，《沟通与并发》，新泽西州上鞍河：普伦蒂斯·霍尔出版社，1989年·Zbl 0683.68008号
[8] 梅西，H。；瓦莱罗，V。；Frutos，D.，sPBC:有限Petri盒演算的马尔科夫推广，207-216（2001），亚琛·doi:10.1109/PNPM.2001.953370
[9] Macià，H.、Valero，V.、Cazorla，D.和Cuartero，F.，介绍sPBC中的迭代，Lect。票据组成。科学。，2004年，第3235卷，第292-308页·Zbl 1110.68420号 ·doi:10.1007/978-3-540-30232-2_19
[10] Maciá，H.、Valero，V.、Cuartero，F.和Ruiz，M.C.，sPBC：Petri盒微积分的马尔可夫扩展，《信息基础》，2008年，第87卷，第3-4期，第367-406页·Zbl 1154.68092号
[11] Tarasyuk，I.V.，《离散时间随机Petri盒演算》。德国奥尔登堡，2005年（奥尔登堡卡尔·冯·奥斯西茨基大学信息学系，第3/05号）·Zbl 1111.68087号
[12] Tarasyuk，I.V.，《离散时间随机Petri盒演算》，《信息基础》，2007年，第76卷，第1-2期，第189-218页·Zbl 1111.68087号
[13] Tarasyuk，I.V.，离散时间随机Petri盒演算中的迭代，新西伯利亚计算中心公报，Comp丛书。科学。，IIS特刊，2006年，第24卷，第129-148页·Zbl 1249.68132号
[14] Tarasyuk，I.V.、Maciá，H.和Valero，V.，具有即时多作用的离散时间随机Petri盒演算，技术报告，Castilla-La Mancha大学信息工程高中计算机系统系。编号：DIAB-10-03-1·Zbl 1346.60118号
[15] Tarasyuk，I.V.，Macià，H.，Valero，V.，具有即时多操作dtsiPBC的离散时间随机Petri盒微积分，《理论计算机科学电子笔记》，爱思唯尔，2013年，第296卷，第229-252页·doi:10.1016/j.entcs.2013.07.015
[16] Molloy，M.K.，离散时间随机Petri网，IEEE Trans。《软件工程》，1985年，第11卷，第4期。第417-423页·Zbl 0558.68053号 ·doi:10.1109/TSE.1985.232230
[17] Ross，S.M.，《随机过程》，纽约：Wiley出版社，1996年·Zbl 0888.60002号
[18] Bernardo，M.和Bravetti，M.，《基于奖励的同余：我们能聚合更多吗？》？，莱克特。票据组成。科学。，2001年，第2165卷，第136-151页·Zbl 1007.68132号 ·doi:10.1007/3-540-44804-7_9
[19] Balbo，G.，广义随机Petri网简介，Lect。票据组成。科学。，2007年，第4486卷。第83-131页·Zbl 1323.68400号 ·doi:10.1007/978-3-540-722522-0_3
[20] van Glabbeek，R.J.、Smolka，S.A.和Steffen，B.，概率过程的反应、生成和分层模型，信息计算，1995年，第121卷，第1期，第59-80页·Zbl 0832.68042号 ·doi:10.1006/inco.1995.1123
[21] 齐默尔曼，A。；Freiheit，J。；Hommel，G.，实时系统建模和评估的离散时间随机Petri网，282-286（2001）
[22] Zijal，R。；Ciardo，G。；Hommel，G.，离散确定性和随机Petri网，103-117（1997）
[23] Buchholz P.和Tarasyuk，I.V.，《概率建模的网络和代数方法》，新西伯利亚联合计算中心和信息系统研究所公报，Comp系列。科学。，新西伯利亚，2001年，第15卷，第31-64页·Zbl 1004.68112号
[24] Haverkort，B.R.，性能和可靠性评估的马尔科夫模型，Lect。票据组成。科学。，2001年，第2090卷，第38-83页·Zbl 0990.68020号 ·doi:10.1007/3-540-44667-22
[25] van Glabbeek，R.J.，《线性时间分支时间谱II：无声移动序列系统的语义》（扩展抽象），Lect。票据组成。科学。，1993年，第715卷，第66-81页·doi:10.1007/3-540-57208-26
[26] Mudge，T.N.和Al-Sadoun，H.B.，多总线系统性能的半马尔可夫模型，IEEE Trans。《计算机》，1985年，第C-34卷，第10期，第934-942页·doi:10.10109/TC.185.6312197
[27] Katoen，J.-P.，事件结构的定量和定性扩展，荷兰恩施切德博士论文，1996年，（CTIT博士论文系列，特温特大学远程信息处理与信息技术中心，编号96-09）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。