伊戈尔·瓦勒维奇·塔拉修克;赫梅内吉尔达·马西·索勒;瓦伦蒂安·瓦莱罗·鲁伊斯 dtsiPBC并发系统性能分析的随机等价性。 （英语） Zbl 1414.60062号 同胞。Élektron。Mat.Izv公司。 15, 1743-1812 (2018). 摘要：我们提出了离散时间随机Petri盒演算（dtsPBC）的立即多作用扩展，由第一作者[Fundam.Inform.76，No.1-2，189-218（2007；Zbl 1111.68087号)]. 由此产生的代数dtsiPBC是随机Petri盒演算（sPBC）的离散时间模拟，具有立即多作用，由第二作者等人在连续时间域内设计。步骤操作语义是通过标记的概率转移系统构建的。指称语义是基于带立即转移的标记离散时间随机Petri网。为了评估性能，分析了相应的半马尔可夫链。我们定义了表达式的阶跃随机互模拟等价性，用于减少其转换系统和潜在的半马尔可夫链，同时保持功能和性能特征。我们解释了如何使用这种等价性来简化代数过程的性能分析。在一个案例研究中，概述了并发系统的建模、性能评估和行为减少方法，并将其应用于共享内存系统。 引用于2评论引用于2文件 MSC公司： 60J20型 马尔可夫链和离散时间马尔可夫过程在一般状态空间（社会流动性、学习理论、工业过程等）上的应用 60J10型 马尔可夫链（离散状态空间上的离散时间马尔可夫过程） 60 K15 马尔可夫更新过程，半马尔可夫过程 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：随机过程代数;Petri盒演算;离散时间;立即多重作用;操作语义和指称语义;半马尔可夫链;绩效评估;随机等价物;减少 引文：Zbl 1111.68087号 软件：政治公众人物协议 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk}等人，Sib。Élektron。Mat.Izv公司。151743-1812（2018年；Zbl 1414.60062） 全文： 内政部 arXiv公司 参考文献： [1] W.M.P.van der Aalst，K.M.van Hee，H.A.Reijers，离散时间随机Petri网分析，Neerlandica统计，54:2（2000），237-255。http://tmitwww.tm.tue.nl/staff/hreijers/H.A.Reijers Bestanden/Statistica.pdf。1794979令吉·Zbl 0994.68091号 [2] C.Autant，Ph.Schnoebelen，{\it Place bisimulations in Petri nets}，《计算机科学讲义》，616（1992），45-61。MR1253088型 [3] C.Baier，{测试概率互模拟和模拟的多项式时间算法}，《计算机科学讲义》，1102（1996），50-61。 [4] C.Baier，B.Engelen，M.Majster-Cederbaum，《决定概率过程的双相似性和相似性》，《计算机与系统科学杂志》，60:1（2000），187-231。MR1744116·Zbl 1073.68690号 [5] G.Balbo，{随机Petri网简介}，计算机科学讲义，2090（2001），84-155。Zbl 0990.68092号·Zbl 0990.68092号 [6] G.Balbo，{广义随机Petri网简介}，计算机科学讲义，4486（2007），83-131。Zbl 1323.68400号·Zbl 1323.68400号 [7] F.Bause，P.S.Kritzinger，｛\it随机｝｛\it Petri｝｛\it网：｝｛\it an｝｛\it introduction｝｛\it to｝｛\it the｝｛\it theory｝，威斯巴登：ViewegVerlag，2002。http://ls4-www.cs.tudortmund.de/cms/de/home/bause/bause_kritzinger_spn_book_print.pdf。Zbl 1013.60065号·Zbl 1013.60065号 [8] J.A.Bergstra，J.W.Klop，{抽象通信过程代数}，理论计算机科学，37:1（1985），77-121。0796314英镑·Zbl 0579.68016号 [9] M.Bernardo，{扩展马尔科夫过程代数的理论与应用}，博士论文，276页，意大利博洛尼亚大学，1999年。http://www.sti.uniurb.it/bernardo/documents网站/博士学位.pdf [10] M.Bernardo，《马尔科夫行为等效性调查》，《计算机科学讲义》，4486（2007），180-219。用于DTSIPBC1809性能分析的Zbl 1323.68402随机等价·兹比尔1323.68402 [11] M.Bernardo，《关于弱双相似性中成分性和精确性之间的权衡》，《集成时间马尔可夫过程计算》，《理论计算机科学》，563（2015），99-143。MR3286633型·Zbl 1302.68199号 [12] M.Bernardo，M.Bravetti，{基于报酬的同余：我们能聚合更多吗？}计算机科学讲义，2165（2001），136-151。MR1904353型·Zbl 1007.68132号 [13] M.Bernardo，L.Donatiello，R.Gorrieri，《并行系统建模和分析中性能集成的形式化方法》，《信息与计算》，144:2（1998），83-154。1632840令吉·Zbl 0909.68074号 [14] M.Bernardo，R.Gorrieri，《EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论》，《理论计算机科学》，202:1-2（1998），1-54。MR1626813型·Zbl 0902.68075号 [15] E.Best，R.Devillers，J.G.Hall，{盒演算：一个新的多标记因果代数}{通讯}，计算机科学讲义，609（1992），21-69。MR1253529型 [16] E.Best，R.Devillers，M.Koutny，{\it Petri网代数}，EATCS理论计算机科学专著，柏林：Springer，2001。MR1932732型·Zbl 0968.68110号 [17] E.Best，M.Koutny，{框代数的定义视图}，《计算机科学讲义》，935（1995），1-20。MR1461021型·Zbl 1496.68217号 [18] J.T.Bradley，{it Semi-Markov PEPA:用一般分布动作建模}，《国际模拟杂志》，6:3-4（2005），43-51。http://pubs.doc.ic.ac.uk/semi-markov-pepa/半标记-pepa.pdf [19] M.Bravetti，《随机实时系统的规范与分析》，博士论文，432页，意大利博洛尼亚大学，2002年。网址：http://www.cs.unibo.it/勇敢地/论文/博士论文.ps.gz·Zbl 1065.68581号 [20] M.Bravetti，P.R.D'Argenio，《Tutte le algebrare inseme:具有一般分布的随机过程代数的概念、讨论和关系》，《计算机科学讲义》，2925（2004），44-88。兹比尔1203.68113·Zbl 1203.68113号 [21] M.Bravetti，M.Bernardo，R.Gorrieri，{\it Towards performance evaluation with general}{\it distributions in process algebras}，计算机科学讲义，1466（1998），405-422。MR1683349型 [22] E.Brinksma，H.Hermanns，{过程代数和马尔可夫链}，计算机科学讲义，2090（2001），183-231。兹比尔0990.68021·Zbl 0990.68021号 [23] E.Brinksma，J.-P.Katoen，R.Langerak，D.Latella，《随机因果过程》，《计算机杂志》，38:7（1995），552-565。 [24] G.Bucci，L.Sassoli，E.Vicario，使用随机抢占时间Petri网的实时系统的正确性验证和性能分析，IEEE软件工程学报，31:11（2005），913-927。 [25] P.Buchholz，{马尔科夫过程代数：合成与等价}，Proc。2{it nd}《1994年过程代数与性能建模（PAPM）国际研讨会》（U.Herzog，M.Rettelbach，eds.），德国Regensberg/Erlangen，1994年7月，Arbeitsberichte des IMMD，27:4（1994），11-30。 [26] P.Buchholz，《有限马尔可夫链中的精确和普通可集性》，《应用概率杂志》，31:1（1994），59-75。MR1260571型·Zbl 0796.60073号 [27] P.Buchholz，{随机Petri网的等价概念}，《计算机科学讲义》，935（1995），161-180。MR1461026型·Zbl 1496.68220号 [28] P.Buchholz，{标记GSPNs的迭代分解和聚合}，计算机科学讲义，1420（1998），226-245·Zbl 1510.68053号 [29] P.Buchholz，I.V.Tarasyuk，{概率建模的网络和代数方法}，新西伯利亚联合计算中心和信息系统研究所公报，计算机科学系列，15（2001），31-64。Zbl 1004.68112号·Zbl 1004.68112号 [30] S.Cattani，R.Segala，概率互模拟的决策算法，计算机科学讲义，2421（2002），371-385。2053817马来西亚令吉·Zbl 1012.68127号 [31] I.Christo off，{检验概率过程的等价性和完全抽象模型}，《计算机科学讲义》，458（1990），126-140。MR1082160型 [32] C.Daws，{离散时间马尔可夫链的符号和参数模型检验}，计算机科学讲义，3407（2005），280-294。MR2178147·Zbl 1108.68497号 [33] P.Degano，C.Priami，{移动进程的非交互语义}，《理论计算机科学》，216:1-2（1999），237-270。MR1676273型·Zbl 0914.68128号 [34] S.Derisavi，H.Hermanns，W.H.Sanders，{马尔可夫链的最优状态空间集总}，《信息处理快报》，87:6（2003），309-315。MR2001719 1810I。V.TARASYUK、H.MACI’A、V.VALERO·Zbl 1189.68039号 [35] Ch.Eisentraut，H.Hermanns，J.Schuster，A.Turrini，L.Zhang，《概率自动机对极小值的追求》，《计算机科学讲义》，7795（2013），16-31。MR3368434型·Zbl 1381.68115号 [36] J.M.Fourneau，离散时间马尔可夫链的协作：张量和乘积形式，性能评估，67（2010），779-796。 [37] S.Gilmore，J.Hillston，L.Kloul，M.Ribaudo，《PEPA网络：结构化绩效建模》，《绩效评估》，54（2003），79-104·Zbl 1047.68527号 [38] R.J.van Glabbeek，S.A.Smolka，B.Steffen，《概率过程的反应模型、生成模型和分层模型》，《信息与计算》，121:1（1995），59-80。MR1347332型·Zbl 0832.68042号 [39] N.G¨otz，U.Herzog，M.Rettelbach，《多处理器和分布式系统设计：使用随机过程代数的功能指定和性能分析的集成》，《计算机科学讲义》，729（1993），121-146。 [40] M.C.Guenther、N.J.Dingle、J.T.Bradley、W.J.Knottenbelt，大型半马尔可夫过程的传递时间计算和聚集策略，性能评估，68（2011），221-236。 [41] T.Han，J.-P.Katoen，A.Mereacre，概率时间的近似参数合成，Proc。2008年IEEE实时系统研讨会（RTSS），美国纽约，173-182，IEEE计算机社会出版社，2008年。 [42] B.R.Haverkort，{性能和可靠性评估的马尔科夫模型}，《计算机科学讲义》，2090（2001），38-83。Zbl 0990.68020号·兹比尔0990.68020 [43] R.A.Hayden，J.T.Bradley，A.Clark，《使用统一的随机探针和流体分析进行性能规范和评估》，IEEE软件工程学报，39:1（2013），97-118。 [44] H.Hermanns，M.Rettelbach，《MTIPP的语法、语义、等价性和公理》，Proc。2{it nd}《1994年过程代数与性能建模（PAPM）国际研讨会》（U.Herzog，M.Rettelbach，eds.），德国Regensberg/Erlangen，1994年7月，Arbeitsberichte des IMMD，27:4（1994），71-88。http://ftp.informatik.uni-erlangen.de/local/inf7/papers/Hermanns/syntax_semantics_equivalences_axioms_for_MTIPP.ps.gz语法 [45] J.Hillston，《同步的本质》，Proc。2{it nd}《1994年过程代数与性能建模（PAPM）国际研讨会》（U.Herzog，M.Rettelbach，eds.），德国Regensberg/Erlangen，1994年7月，阿尔贝茨伯里奇IMMD，27:4（1994），51-70。http://www.dcs.ed.ac.uk/pepa/synchronisation.pdf。 [46] J.Hillston，《性能建模的组合方法》，剑桥：大学出版社，1996年。http://www.dcs.ed.ac.uk/pepa/book.pdf。1427945令吉·Zbl 1080.68003号 [47] C.A.R.Hoare，{it Communicating sequential processes}，普伦蒂斯·霍尔，英国伦敦，1985年。http://www.usingcsp.com/cspbook.pdf。MR0805324号·Zbl 0637.68007号 [48] A.Horv´ath，M.，Paolieri，L.Ridi，E.Vicario，{非马尔科夫模型的瞬态分析}{使用随机状态类}，性能评估，69:7-8（2012），315-335。 [49] L.Jategaonkar，A.R.Meyer，《确定安全有限网络上的真正并发等价性》，《理论计算机科学》，154:1（1996），107-143。MR1374382号·Zbl 0877.68056号 [50] C.-C.Jou，S.A.Smolka，概率过程的等价、同余和完备公理化，计算机科学讲义，458（1990），367-383。MR1082173型 [51] G.Kahn，{自然语义}，Proc。4计算机科学理论方面年度研讨会（STACS）1987，22-39，Springer，1987。MR0900441号·兹比尔0635.68007 [52] J.-P.Katoen，{事件结构的定量和定性扩展}，博士论文，CTIT博士论文系列，96-09，特温特大学远程信息处理与信息技术中心，荷兰恩舍德，1996年。 [53] J.-P.Katoen P.R.，D'Argenio，{过程代数中的一般分布}，计算机科学讲义，2090（2001），375-429。Zbl 0990.68091号·Zbl 0990.68091号 [54] J.-P.Katoen，E.Brinksma，D.Latella，R.Langerak，事件结构的随机模拟，Proc。4《过程代数与性能建模国际研讨会（PAPM）1996》（M.Ribaudo，ed.），21-40，CLUT出版社，意大利都灵，1996年。http://eprints.eemcs.utwente.nl/6487/01/263_KLLB96b.pdf [55] V.G.Kulkarni，《随机系统建模与分析》，第二版，《统计科学文本》，84，查普曼和霍尔/CRC出版社，2009年。 [56] R.Lanotte，A.Maggiolo Schettini，A.Troina，用于系统设计和分析的参数概率转换系统，计算的形式方面，19:1（2007），93-109。用于DTSIPBC1811性能分析的Zbl 1111.68084随机等价·Zbl 1111.68084号 [57] K.G.Larsen，A.Skou，《通过概率测试的双向模拟》，《信息与计算》，94:1（1991），1-28。MR1123153型·Zbl 0756.68035号 [58] H.Maci'a，V.Valero，D.C.Cazorla，F.Cuartero，{\it介绍sPBC}中的迭代，计算机科学讲义，3235（2004），292-308。兹比尔1110.68420·Zbl 1110.68420号 [59] H.Maci'a，V.Valero，F.Cuartero，D.de Frutos，{\it sPBC}的同余关系，系统设计中的形式方法，32:2（2008），85-128。Zbl 1138.68040号·Zbl 1138.68040号 [60] H.Maci'a，V.Valero，F.Cuartero，M.C.Ruiz，{its sPBC:Petri盒的马尔科夫扩展}{it-立即多重作用演算}，《信息基础》，87:3-4（2008），367-406。Zbl 1154.68092号·Zbl 1154.68092号 [61] H.Maci'a，V.Valero，D.de Frutos，{it sPBC:有限Petri盒演算的马尔科夫扩展}，Proc。IEEE国际Petri网和性能模型研讨会（PNPM）2001，德国亚琛，207-216，IEEE计算机社会出版社，2001。http://www.info-ab.uclm.es/retics网站/出版物/2001/pnpm01.ps [62] J.Markovski，P.R.D'Argenio，J.C.M.Baeten，E.P.de Vink，《真实与随机的协调：概率重新定义的必要性》，《计算的形式方面》，24:4-6（2012），497-518。MR2947264型·Zbl 1259.68147号 [63] J.Markovski，E.P.de Vink，{用离散随机时间扩展定时过程代数}，计算机科学讲义，5140（2008），268-283。Zbl 1170.68542号·Zbl 1170.68542号 [64] J.Markovski，E.P.de Vink，基于离散过程代数的分布式系统性能评估，《信息基础》，95:1（2009），157-186。MR2590801号·Zbl 1215.68049号 [65] M.A.Marsan，《随机Petri网：初步介绍》，《计算机科学讲义》，424（1990），1-29。 [66] M.A.Marsan，G.Balbo，G.Conte，S.Donatelli，G.Franceschinis，{广义建模}{随机Petri网}，并行计算中的Wiley级数，John Wiley and Sons，1995。网址：http://www.di.unito.it/greatspn/GSPN-威利/Zbl 0843.68080·兹比尔0843.68080 [67] R.A.J.Milner，{it Communication and concurrency}，Prentice-Hall，Upper Saddle River，NJ，USA，1989年。Zbl 0683.68008号·Zbl 0683.68008号 [68] R.A.J.Milner，J.G.Parrow，D.J.Walker，{移动过程演算（I和II）}，信息与计算，100:1（1992），1-77。MR1175976型·兹伯利0752.68036 [69] M.K.Molloy，《分布式处理模型中吞吐量和延迟度量的集成》，博士论文，报告，CSD-810-921，108页，加利福尼亚大学，洛杉矶，美国，1981年。 [70] M.K.Molloy，{离散时间随机Petri网}，IEEE软件工程学报，11:4（1985），417-423。0788999令吉·Zbl 0558.68053号 [71] U.Montanari，M.Pistore，D.Yanklevich，{有效最小化到位置等价}，计算机科学讲义，1058（1996），265-279。 [72] ｛\lang1033T.N.Mudge，H.B.Al-Sadoun，｛\lang1033\sit多总线系统性能的半马尔可夫模型，｛\lang1033IEEE计算机汇刊，C-34:10（1985），934-942。 [73] R.Paige，R.E.Tarjan，{三分区定义算法}，SIAM计算杂志，16:6（1987），973-989。MR0917035型·Zbl 0654.68072号 [74] G.D.Plotkin，{操作语义的结构方法}，技术报告，DAIMI FN-19，奥胡斯大学计算机科学系，丹麦奥胡斯，1981年。 [75] C.Priami，{具有一般分布的随机π-演算}，Proc。4《过程代数与性能建模国际研讨会（PAPM）1996》（M.Ribaudo，ed.），41-57，CLUT出版社，意大利都灵，1996年。 [76] C.Priami，分布式和移动系统的基于语言的性能预测，信息与计算，175:2（2002），119-145。MR1911524型·Zbl 1012.68115号 [77] M.Rettelbach，{马尔科夫过程代数中的概率分支}，《计算机杂志》，38:7（1995），590-599。 [78] S.M.Ross，{随机过程}，纽约：John Wiley and Sons Inc.，1996年。MR1373653号·Zbl 0888.60002号 [79] I.V.Tarasyuk，{离散时间随机Petri盒演算}，Berichte aus dem Department f–ur Informatik，3/05，Carl von Ossietzky University–at Oldenburg，Germany，2005。http://itar.iis.nsk.su/文件/itar/pages/dtspbcib_cov.pdf [80] I.V.Tarasyuk，{离散时间随机Petri盒演算中的迭代}，新西伯利亚计算中心公报，计算机科学丛书，IIS特刊，24（2006），129-148。Zbl 1249.68132 1812I.V.TARASYUK，H.MACI’A，V.VALERO公司·Zbl 1249.68132号 [81] I.V.Tarasyuk，{离散时间随机Petri盒演算}，《信息基础》，76:1-2（2007），189-218。MR2293057型·Zbl 1111.68087号 [82] I.V.Tarasyuk，《dtsPBC}中模块化性能评估的等价关系》，《计算机科学中的数学结构》，24:1（2014），e240103。MR3183269型·Zbl 1342.68244号 [83] I.V.Tarasyuk，H.Maci'a，V.Valero，带立即数的离散时间随机Petri盒演算，Proc。6《2012年随机建模（PASM）实际应用国际研讨会》和11《2012年验证（PDMC）并行和分布式方法国际研讨会》（J.Bradley，K.Heljanko，W.Knottenbelt，N.Thomas，eds.），英国伦敦，2012年，《理论计算机科学电子笔记》，296（2013），229-252。 [84] I.V.Tarasyuk，H.Maci'a，V.Valero，代数并发系统的性能分析，编程与计算机软件，40:5（2014），229-249·Zbl 1339.68033号 [85] I.V.Tarasyuk，H.Maci'a，V.Valero，《绩效评估的随机过程简化》，《西伯利亚电子数学报告》，12（2015），513-551。MR3493774号·Zbl 1346.60118号 [86] V.Valero，M.E.Cambronero，《使用统一建模语言在具有分布式资源的定时Web服务上下文中建模发布/订阅模式》，《动态系统的数学和计算机建模》，23:6（2017），570-594。 [87] R.Wimmer，S.Derisavi，H.Hermanns，{自动确定符号分区}{时空平衡}，性能评估，67（2010），816-836。 [88] R.Zijal，G.Ciardo，G.Hommel，｛\it离散确定性和随机Petri网｝，Proc。1997年ITG/GI计算机和通信系统（MMB）测量、建模和评估专业会议（K.Irmscher，Ch.Mittasch，K.Richter，eds.），德国弗莱堡，1997，1，103-117，VDE-Verlag，德国柏林，1997。网址：http://www.cs.ucr.edu/ciardo/pubs/1997MMB-DDSPN.pdf [89] A.Zimmermann，J.Freiheit，G.Hommel，离散时间随机Petri网建模与实时系统评估，Proc。第9届国际并行和分布式实时系统研讨会，2001年，美国旧金山，282-2862001。http://pdv.cs.tuberlin网站 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。