伊戈尔·瓦列列维奇·塔拉修克 离散时间随机确定性Petri盒演算dtsdPBC。 （英语） Zbl 1448.68352号 同胞。Élektron。Mat.Izv公司。 17, 1598-1679 (2020). 摘要：我们提出了dtsdPBC，这是一种离散时间随机即时Petri盒演算（dtsiPBC）的确定时间多重作用的扩展，以前由I.V.塔拉修克等[同上，1743-1812（2018年；Zbl 1414.60062号)]. dtsdPBC增强了dtsiPBC的表达能力，并扩展了相关规范和分析技术的应用领域。在dtsdPBC中，非负整数用于指定确定性多作用的固定（包括零）时间延迟。演算的步骤操作语义是通过标记的概率转移系统构造的。微积分的Petri网指称语义是在dtsd盒的基础上定义的，dtsd盒是一类新的带有确定性转移的标记离散时间随机Petri网（LDTSDPN）。我们还定义了代数表达式的阶跃随机互模拟等价性，用于比较特定过程的定性和定量行为。建立了dtsdPBC的操作语义和指称语义到互模拟等价的一致性。研究了上述等价性与微积分的其他行为概念之间的相互关系。一系列为具有不同类型多动作和操作的表达式构造转换系统和dtsd-boxe的示例展示了新演算的规范功能和语义特征。 引用于1审查引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68问题55 计算理论中的语义学 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：随机过程代数；随机Petri网；Petri盒演算；离散时间；随机多作用；确定性多重作用；过渡系统；操作语义学；随机跃迁；确定性转变；dtsd-箱；指称语义学；随机互模拟 引文：兹伯利1414.60062 软件：TimeNET（时间网） PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk}，Sib。Élektron。Mat.Izv公司。17、1598--1679（2020；Zbl 1448.68352） 全文： 内政部 参考文献： [1] W.M.P.van der Aalst，K.M.van Hee，H.A.Reijers，离散时间随机Petri网分析，统计Neerlandica，54:2（2000），237255。http://tmitwww.tm.tue.nl/sta/hreijers网站/H.A.Reijers Bestanden/Statistica.pdf。1794979令吉·Zbl 0994.68091号 [2] C.Baier，测试概率互模拟和模拟的多项式时间算法，《计算机科学讲义》，1102（1996），5061。 [3] G.Balbo，《随机Petri网简介》，《计算机科学讲义》，2090（2001），84155。Zbl 0990.68092号·Zbl 0990.68092号 [4] G.Balbo，广义随机Petri网简介，计算机科学讲义，4486（2007），83131。Zbl 1323.68400号·Zbl 1323.68400号 [5] C.Baier，B.Engelen，M.Majster-Cederbaum，《概率过程的双相似性和相似性判定》，《计算机与系统科学杂志》60:1（2000），187231。Zbl 1073.68690号·Zbl 1073.68690号 [6] J.A.Bergstra，J.W.Klop，《抽象通信过程代数》，《理论计算机科学》，37（1985），77121。MR0796314型·Zbl 0579.68016号 [7] M.Bernardo，扩展马尔科夫过程代数的理论与应用，博士论文，276页，意大利博洛尼亚大学，1999年。http://www.sti.uniurb.it/bernardo/documents网站/宽度.pdf [8] M.Bernardo，《马尔科夫行为等效性调查》，《计算机科学讲义》，4486（2007），180219。Zbl 1323.68402号·Zbl 1323.68402号 [9] M.Bernardo，《关于积分时间马尔可夫过程计算中弱相似性的合成性和精确性之间的权衡》，《理论计算机科学》，563（2015），99143。MR3286633型·Zbl 1302.68199号 [10] M.Bernardo，S.Botta，《马尔可夫测试和迹等价的模态逻辑表征》，《理论计算机科学中的电子笔记》，169（2006），718。Zbl 1276.68119号·Zbl 1276.68119号 [11] M.Bernardo，S.Botta，《表征非确定性和随机系统行为等效性的模态逻辑调查》，《计算机科学中的数学结构》，18（2008），2955。MR2459612号·Zbl 1141.68044号 [12] M.Bernardo，M.Bravetti，《基于回报的一致性：我们能聚合更多吗？计算机科学讲稿，2165（2001），136151。MR1904353型·兹比尔1007.68132 [13] M.Bernardo，L.Donatiello，R.Gorrieri，《并行系统建模和分析中性能方面集成的形式化方法》，《信息与计算》，144:2（1998），83154。1632840令吉·Zbl 0909.68074号 [14] M.Bernardo，R.Gorrieri，《EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论》，《理论计算机科学》，202（1998），154。MR1626813型·Zbl 0902.68075号 [15] E.Best、R.Devillers、J.G.Hall，《盒演算：一种新的具有多标签通信的因果代数》，《计算机科学讲义》，609（1992），2169。MR1253529型 [16] E.Best，R.Devillers，M.Koutny，Petri网代数，EATCS理论计算机科学专著，施普林格出版社，2001年。MR1932732型·Zbl 0968.68110号 [17] E.Best，M.Koutny，箱代数的一个新观点，《计算机科学讲义》，935（1995），120。MR1461021型 [18] T.Bolognesi，F.Lucidi，S.Trigila，《从定时Petri网到定时LOTOS》，Proc。IFIP工作组6.110thInt。1990年协议规范、测试和验证研讨会，加拿大渥太华，114，荷兰阿姆斯特丹北荷兰达，1990年。 [19] N.Bonzanni，K.A.Feenstra，W.Fokkink，E.Krepska，正式方法能给系统生物学带来什么？计算机科学课堂讲稿，5850（2009），1622。 [20] M.Bravetti，随机实时系统的规范化和分析，博士论文，432页，意大利博洛尼亚大学，2002年。网址：http://www.cs.unibo.it/勇敢地/论文/博士论文.ps.gz·Zbl 1065.68581号 [21] M.Bravetti，M.Bernardo，R.Gorrieri，面向过程代数中一般分布的性能评估，计算机科学讲义，1466（1998），405422。1683349英镑 [22] E.Brinksma，H.Hermanns，过程代数和马尔可夫链，计算机科学讲义，2090（2001），183231。Zbl 0990.68021号·Zbl 0990.68021号 [23] E.Brinksma，J.-P.Katoen，R.Langerak，D.Latella，《随机因果过程代数》，《计算机杂志》，38:7（1995），552565。 [24] G.Bucci，L.Sassoli，E.Vicario，使用随机抢占时间Petri网的实时系统的正确性验证和性能分析。IEEE软件工程汇刊，31:11（2005），913927。 [25] P.Buchholz，马尔科夫过程代数：合成与等价，Proc.2ndInt。1994年过程代数与性能建模（PAPM）研讨会（U.Herzog，M.Rettelbach，eds.），德国雷根斯堡/爱尔兰根，1994年7月，阿尔贝茨伯里奇国际货币基金组织，27:4（1994），1130。 [26] P.Buchholz，随机Petri网的等价概念，计算机科学讲义，935（1995），161180。MR1461026型 [27] P.Buchholz，标记GSPN的迭代分解和聚合，计算机科学讲义，1420（1998），226245。 [28] P.Buchholz，I.V.Tarasyuk，概率建模的网络和代数方法，新西伯利亚联合计算中心和信息系统研究所公报，计算机科学系列，15（2001），3164。Zbl 1004.68112号·Zbl 1004.68112号 [29] S.Cattani，R.Segala，概率互模拟的决策算法，计算机科学讲义，2421（2002），371385。2053817马来西亚令吉·Zbl 1012.68127号 [30] I.Christo，《概率过程的等价性测试和完全抽象模型》，《计算机科学讲义》，458（1990），126140。MR1082160型 [31] G.Ciardo，离散时间马尔可夫随机Petri网，马尔可夫链计算：Proc.2ndInt。1995年马尔可夫链数值解研讨会（NSMC）（W.J.Stewart，ed.），美国北卡罗来纳州罗利，1995年1月，339358，美国马萨诸塞州波士顿Kluwer，1995年。网址：http://www.cs.ucr.edu/ciardo/pubs/1995NSMC-Discrete.pdf兹bl 0862.60079 [32] R.J.van Glabbeek，S.A.Smolka，B.Steen，概率过程的反应、生成和分层模型，信息与计算，121:1（1995），5980。MR1347332型 [33] H.M.Hanish，带时间弧的位置/转移网络分析及其在批处理控制中的应用，《计算机科学讲义》，691（1993），282299。 [34] H.Hermanns，M.Rettelbach，MTIPP的语法、语义、等价物和公理，Proc。第二次国际。1994年过程代数与性能建模（PAPM）研讨会（U.Herzog，M.Rettelbach，eds.），德国雷根斯堡/爱尔兰根，1994年7月，阿尔贝茨伯里奇国际货币基金组织，27:4（1994），7188。http://ftp.informatik.uni-erlangen.de/local/inf7/papers/Hermanns/syntax_semantics_equivalences_axioms_for_MTIPP.ps.gz语法 [35] J.Hillston，《同步的本质》，Proc.2ndInt。1994年过程代数与性能建模（PAPM）研讨会（U.Herzog，M.Rettelbach，eds.），德国雷根斯堡/爱尔兰根，1994年7月，阿尔贝茨伯里奇国际货币基金组织，27:4（1994），5170。http://www.dcs.ed.ac.uk/pepa/synchronisation.pdf [36] J.Hillston，《性能建模的组合方法》，剑桥大学出版社，英国剑桥，1996年。http://www.dcs.ed.ac.uk/pepa/book.pdf1427945令吉·兹比尔1080.68003 [37] C.A.R.Hoare，《通信顺序过程》，普伦蒂斯·霍尔出版社，英国伦敦，1985年。http://www.usingcsp.com/cspbook.pdfMR0805324号·Zbl 0637.68007号 [38] A.Horvath，A.Puliato，M.Scarpa，M.Telek，《非马尔可夫随机Petri网的分析与评估》，计算机科学讲义，1786（2000），171187。Zbl 0967.68114号·Zbl 0967.68114号 [39] L.Jategaonkar，A.R.Meyer，《确定安全网络上的真正并发等价性》，《理论计算机科学》，154:1（1996），107143。MR1374382号·Zbl 0877.68056号 [40] C.-C.Jou，S.A.Smolka，概率过程的等价、同余和完全公理化，计算机科学讲义，458（1990），367383。MR1082173型 [41] M.Koutny，《时间Petri网的合成模型》，《计算机科学讲义》，1825（2000），303322·Zbl 0986.68072号 [42] K.G.Larsen，A.Skou，通过概率测试的互模拟，信息与计算，94:1（1991），128。MR1123153型·Zbl 0756.68035号 [43] H.Macia，V.Valero，D.C.Cazorla，F.Cuartero，介绍sPBC中的迭代，计算机科学讲义，3235（2004），292308。Zbl 1110.68420号·Zbl 1110.68420号 [44] H.Macia，V.Valero，F.Cuartero，D.de Frutos，sPBC的同余关系，系统设计中的形式方法，32:2（2008），85128。Zbl 1138.68040号·Zbl 1138.68040号 [45] H.Macia，V.Valero，F.Cuartero，M.C.Ruiz，sPBC：具有立即多作用的Petri盒演算的马尔科夫扩展，《信息学基础》，87:34（2008），367406。Zbl 1154.68092号·兹比尔1154.68092 [46] H.Macia，V.Valero，F.Cuartero，M.C.Ruiz，I.V.Tarasyuk，用sPBC模拟视频会议系统，应用数学和信息科学10:2（2016），475493。 [47] H.Macia，V.Valero，D.de Frutos，sPBC：nite Petri box演算的马尔科夫扩展，Proc.9thIEEE Int.Petri网和性能模型（PNPM）研讨会，2001，德国亚琛，207216，IEEE计算机社会出版社，2001。http://www.info-ab.uclm.es/retics网站/出版物/2001/pnpm01.ps [48] J.Markovski，P.R.D'Argenio，J.C.M.Baeten，E.P.de Vink，《协调实时和随机时间：概率反悔的必要性》，《计算的形式方面》，24:46（2012），497518。MR2947264型 [49] J.Markovski，E.P.de Vink，用离散随机时间扩展定时过程代数，计算机科学讲义，5140（2008），268283。Zbl 1170.68542号·Zbl 1170.68542号 [50] J.Markovski，E.P.de Vink，基于离散实时和随机过程代数的分布式系统性能评估，《基础信息》，95:1（2009），157186。MR2590801号·Zbl 1215.68049号 [51] O.Marroquen，D.de Frutos，TPBC：时间Petri box演算，技术报告，西班牙马德里Complutense大学信息数学系，2000年（西班牙语）。 [52] O.Marroquen，D.de Frutos，随时间扩展Petri盒演算，计算机科学讲义，2075（2001），303322。兹伯利0986.68082 [53] M.A.Marsan，《随机Petri网：初步介绍》，《计算机科学讲义》，424（1990），129。 [54] 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·Zbl 0843.68080号 [55] Ph.M.Merlin，D.J.Farber，《通信协议的可恢复性：理论研究的影响》，IEEE通讯汇刊，24:9（1976），10361043。Zbl 0362.68096号·Zbl 0362.68096号 [56] R.A.J.Milner，《通信与并发》，Prentice-Hall，Upper Saddle River，NJ，USA，1989年。Zbl 0683.68008号·Zbl 0683.68008号 [57] M.K.Molloy，《分布式处理模型中吞吐量和延迟度量的集成》，博士论文，报告，CSD-810-921，108页，美国洛杉矶加利福尼亚大学，1981年。 [58] M.K.Molloy，离散时间随机Petri网，IEEE软件工程学报，11:4（1985），417423。0788999令吉·Zbl 0558.68053号 [59] A.Niauris，基于弧的时间限制的Petri网代数，计算机科学讲义，3407（2005），447462。Zbl 1109.68076号·兹比尔1109.68076 [60] A.Niaouris，M.Koutny，《时弧Petri网代数》，《技术报告》，CS-TR-895，60页，英国泰恩河畔纽卡斯尔大学计算机科学学院，2005年。http://www.cs.ncl.ac.uk/publications/trs/papers/895.pdf ·Zbl 1109.68076号 [61] C.Priami，分布式和移动系统基于语言的性能预测，信息与计算，175:2（2002），119145。MR1911524型·Zbl 1012.68115号 [62] C.Ramchandani，《用定时Petri网对异步并发系统进行性能评估》，博士论文，麻省理工学院电气工程系，美国马萨诸塞州剑桥，1973年。 [63] S.M.Ross，随机过程，John Wiley and Sons，美国纽约，1996年。MR1373653号·Zbl 0888.60002号 [64] I.V.Tarasyuk，离散时间随机Petri盒演算，Berichte aus dem Department fur Informatik，3/05，25 p.，德国奥尔登堡卡尔·冯·奥斯西茨基大学，2005年。http://itar.iis.nsk.su/les/itar/pages/dtspbcib_cov.pdf [65] I.V.Tarasyuk，离散时间随机Petri盒演算中的迭代，新西伯利亚计算中心公报，计算机科学丛书，IIS特刊，24（2006），129148。Zbl 1249.68132号·Zbl 1249.68132号 [66] I.V.Tarasyuk，离散时间随机Petri盒演算，《信息基础》，76:12（2007），189218。MR2293057型·Zbl 1111.68087号 [67] I.V.Tarasyuk，dtsPBC中模块性能评估的等效关系，计算机科学中的数学结构，24:1（2014），e240103。MR3183269型·Zbl 1342.68244号 [68] I.V.Tarasyuk，H.Macia，V.Valero，《具有即时多作用的离散时间随机Petri盒演算》，《技术报告》，DIAB-10-03-1，25 p.，西班牙阿尔巴塞特卡斯蒂利亚大学计算机科学工程高中计算机系统系，2010年。http://www.dsi.uclm.es/descargas/technicalreports/DIAB-10-03-1/dtsipbc.pdf [69] I.V.Tarasyuk，H.Macia，V.Valero，离散时间随机Petri盒微积分与立即多作用dtsiPBC，Proc.6thInt。2012年和第11届国际随机建模（PASM）实际应用研讨会。2012年验证并行和分布式方法研讨会（J.Bradley，K.Heljanko，W.Knottenbelt，N.Thomas，eds.），英国伦敦，2012年，《理论计算机科学电子笔记》，296（2013），229252。 [70] I.V.Tarasyuk，H.Macia，V.Valero，代数dtsiPBC中并发系统的性能分析，编程与计算机软件，40:5（2014），229249·Zbl 1339.68033号 [71] I.V.Tarasyuk、H.Macia、V.Valero，《dtsiPBC中性能评估的随机过程简化》，《西伯利亚电子数学报告》，12（2015），513551。MR3493774号·Zbl 1346.60118号 [72] I.V.Tarasyuk，H.Macia，V.Valero，dtsiPBC中并发系统性能分析的随机等价性，西伯利亚电子数学报告，15（2018），1743 1812。Zbl 1414.60062号·Zbl 1414.60062号 [73] V.Valero，M.E.Cambronero，《使用统一建模语言在具有分布式资源的定时Web服务上下文中对发布/订阅范式进行建模》，《动态系统的数学和计算机建模》，23:6（2017），570594。 [74] R.Zijal，离散时间确定性和随机Petri网，Proc。1994年基于通信系统质量国际研讨会，德国柏林技术大学，123136，Kluwer学术出版社，1995年。Zbl 0817.68111号·Zbl 0817.68111号 [75] R.Zijal，离散时间确定性和随机Petri网分析，博士论文，德国柏林工业大学，1997年。 [76] R.Zijal，G.Ciardo，离散确定性和随机Petri网，ICASE报告，96-72，23 p.，科学与工程计算机应用研究所（ICASE），NASA，兰利研究中心，弗吉尼亚州汉普顿，美国，1996年。网址：http://www.cs.odu.edu/mln/ltrspdfs/icase-1996-72.pdf，http://www.dtic.mil/dtic/tr/fulltext/u2/a322409.pdf [77] R.Zijal，G.Ciardo，G.Hommel，离散确定性和随机Petri网，Proc。1997年第9届ITG/GI计算机和通信系统（MMB）测量、建模和评估专业会议（K.Irmscher，Ch.Mittasch，K.Richter，eds.），德国弗莱堡，1997年，第1卷，第103117页，VDE-Verlag，德国柏林，1997年。网址：http://www.cs.ucr.edu/ciardo/pubs/1997MMB-DDSPN.pdf [78] R.Zijal，R.German，离散时间随机Petri网的新方法，Proc.11thInt。系统分析与优化会议，离散事件系统（DES）1994（G·Zbl 0817.68111号 [79] A.Zimmermann，使用TimeNET 4.1对随机Petri网进行建模和评估，Proc。第六国际。2012年ICST性能评估方法和工具（VALUETOOLS）会议（B.Gaujal，A.Jean-Marie，E.Jorswieck，A.Seuret，eds.），法国Cargese，2012年10月，110，IEEE计算机社会出版社，2012年。https://www.tu-ilmenau.de/leadmin/public网站/sse/Veroeentlichungen/2012/VALUETOOLS2012.pdf [80] A.Zimmermann，J.Freiheit，R.German，G.Hommel，使用TimeNET 3.0进行Petri网建模和性能评估，计算机科学讲义，1786（2000），188202。Zbl 0970.68665号·Zbl 0970.68665号 [81] 答：。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。