×
克里斯托夫·马鲁西；阿提拉·克莱尼克；文斯·莫尔纳；安德拉斯·Vörös；伊斯坦·马齐克；米克洛斯·特莱克

复杂随机Petri网模型平稳分析的高效分解算法。 （英语） Zbl 1346.68138号

Kordon，Fabrice（ed.）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，281-300（2016）。
摘要：随机Petri网被广泛用于关键系统非功能特性的建模和分析。状态空间爆炸问题通常会阻碍此类模型的数值分析。符号技术用于探索甚至复杂模型的离散行为，而块Kronecker分解提供了随机行为的记忆有效表示。然而，将这些技术结合到随机分析方法中并不简单。在本文中，我们集成了基于饱和的符号技术和基于分解的随机分析方法。使用基于饱和的探索来构建状态空间表示，并引入了一种新的算法来有效地构建块Kronecker矩阵表示，以供随机分析算法使用。测量结果证实，这两种表示的组合可以扩大以前方法的限制。
关于整个系列，请参见[Zbl 1337.68013号].

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）

关键词：

随机Petri网；平稳分析；块Kronecker分解；数值算法；符号方法

软件：

智能_；棱镜
PDF格式BibTeX公司 XML格式引用
\textit{K.Marussy}等人，Lect。注释计算。科学。9698，281--300（2016；Zbl 1346.68138）
全文： 内政部

参考文献：

[1] Ajmone Marsan，M.：随机Petri网：初步介绍。摘自：Rozenberg，G.（编辑）《1989年Petri网进展》，涵盖1988年6月在意大利威尼斯举行的第九届Petri网应用和理论欧洲研讨会，论文选。LNCS，第424卷，第1-29页。斯普林格，海德堡（1988）
[2] Baier，C.，Katoen，J.P.，Hermanns，H.：连续时间马尔可夫链的近似符号模型检查。收录：Baeten，J.C.M.，Mauw，S.（编辑）CONCUR，1999年并发理论。LNCS，第1664卷，第146-161页。斯普林格，海德堡（1999）·Zbl 0934.03044号 ·doi:10.1007/3-540-48320-9_12
[3] Barrett，R.、Berry，M.W.、Chan，T.F.、Demmel，J.、Donato，J.、Dongarra，J.、Eijkhout，V.、Pozo，R.、Romine，C.、Van der Vorst，H.：线性系统解的模板：迭代方法的构建块，第43卷。SIAM，费城（1994）·Zbl 0814.65030号 ·doi:10.1137/1.9781611971538
[4] Bause，F.、Buchholz，P.、Kemper，P.：DEDS功能和定量分析的工具箱。收录：Puigjaner，R.，Savino，N.N.，Serra，B.（编辑）TOOLS 1998。LNCS，第1469卷，第356页。斯普林格，海德堡（1998）·数字对象标识代码：10.1007/3-540-68061-6_32
[5] Benoit，A.、Plateau，B.、Stewart，W.J.：内存效率高的Kronecker算法及其在并行系统建模中的应用。未来一代。公司。系统。22(7), 838–847 (2006) ·doi:10.1016/j.future.2006.02.006
[6] Bianco，A.，de Alfaro，L.：概率和非确定性系统的模型检验。收录：Thiagarajan，P.S.（编辑）FSTTCS 1995。LNCS，第1026卷，第499–513页。斯普林格，海德堡（1995）·Zbl 1354.68167号 ·doi:10.1007/3-540-60692-0_70
[7] Buchholz，P.：叠加GSPN的层次结构。IEEE传输。柔和。工程25（2），166-181（1999）·兹伯利05113396 ·数字对象标识代码：10.1109/32.761443
[8] Buchholz，P.，Ciardo，G.，Donatelli，S.，Kemper，P.：节省内存的Kronecker操作的复杂性及其在马尔可夫模型解中的应用。信息J.计算。12(3), 203–222 (2000) ·兹比尔1040.65504 ·doi:10.1287/ijoc.12.3.203.12634
[9] Buchholz，P.，Kemper，P.：关于生成GSPN分析的层次结构。SIGMETRICS执行评估。版本26（2），5-14（1998）·Zbl 05443134号 ·doi:10.1145/288197.288202
[10] Buchholz，P.，Kemper，P.：大型Markov模型的基于Kronecker的矩阵表示。收录于：Baier，C.，Haverkort，B.R.，Hermanns，H.，Katoen，J.-P.，Siegle，M.（编辑）《随机系统的验证：当前研究指南》。LNCS，第2925卷，第256-295页。斯普林格，海德堡（2004）·Zbl 1203.68116号 ·doi:10.1007/978-3-540-24611-48
[11] Ciardo，G.，Jones，R.L.，Miner，A.S.，Siminiceanu，R.：使用SMART进行逻辑和随机建模。收录：Kemper，P.，Sanders，W.H.（编辑）TOOLS 2003。LNCS，第2794卷，第78-97页。施普林格，海德堡（2003）·doi:10.1007/978-3-540-45232-46
[12] Ciardo，G.，Miner，A.S.：GSPN高效Kronecker解决方案的数据结构。在：第八届关于Petri网和性能模型的国际研讨会，1999年，第22-31页。IEEE（1999）·doi:10.1109/PNPM.1999.796529
[13] Ciardo，G.，Zhao，Y.，Jin，X.：十年饱和：Petri网视角。收录于：Jensen，K.、Donatelli，S.、Kleijn，J.（编辑）《Petri网和其他并发模型交易》V.LNCS，第6900卷，第51-95页。斯普林格，海德堡（2012）·Zbl 1350.68199号 ·doi:10.1007/978-3-642-29072-53
[14] Czekster，R.M.，Rose，C.，Fernandes，P.H.L.，de Lima，A.M.，Webber，T.：并行算法的Kronecker描述符分区。收录于：McGraw，R.M.、Imsand，E.S.、Chinni，M.J.（编辑）《2010年春季模拟多会议论文集》，SpringSim 2010，美国佛罗里达州奥兰多，2010年4月11日至15日，第242页。SCS/ACM（2010）·doi:10.1145/1878537.1878789
[15] Donatelli，S.：叠加广义随机Petri网：定义和有效解。收录：Valette，R.（编辑）《Petri网的应用和理论》，1994年。LNCS，第815卷，第258-277页。斯普林格，海德堡（1994）·doi:10.1007/3-540-58152-9_15
[16] Fernandes，P.，Presotto，R.，Sales，A.，Webber，T.：用Kronecker表示的描述符乘以向量的替代算法。摘自：第21届英国性能工程研讨会，第57-67页（2005年）
[17] Ghosh，R.：云服务的可扩展随机模型。杜克大学博士论文（2012）
[18] Kemper，P.：叠加GSPN的数值分析。IEEE传输。柔和。工程22（9），615-628（1996）·兹伯利05114421 ·数字对象标识代码：10.1109/32.541433
[19] Kwiatkowska，M.，Mehmood，R.，Norman，G.，Parker，D.：马尔可夫模型的符号非核心解方法。电子。注释理论。计算。科学。68(4), 589–604 (2002) ·Zbl 1270.68232号 ·doi:10.1016/S1571-0661（05）80394-9
[20] Kwiatkowska，M.，Norman，G.，Parker，D.：使用PRISM的概率符号模型检查：一种混合方法。国际期刊软件。技术工具。转账6（2），128–142（2004）·Zbl 02243237号 ·doi:10.1007/s10009-004-0140-2
[21] Miner，A.S.：使用规范矩阵图有效求解GSPN。参见：第九届Petri网和性能模型国际研讨会，2001年，第101-110页。IEEE（2001）·doi:10.1109/PNPM.2001.953360
[22] Roux，P.，Siminiceanu，R.：用边值决策图进行模型检查。摘自：穆尼奥斯，C.A.（编辑）2010年4月13日至15日在美国华盛顿特区举行的第二届美国国家航空航天局正式方法研讨会（NFM 2010）。诉讼程序。NASA会议记录，第NASA/CP-2010-216215卷，第222-226页（2010年）
[23] Stewart，W.J.：概率、马尔可夫链、队列和模拟：性能建模的数学基础。普林斯顿大学出版社，普林斯顿（2009）·Zbl 1176.60003号
[24] Van der Vorst，H.A.：Bi-CGSTAB：非对称线性系统解的Bi-CG快速平滑收敛变体。SIAM J.科学统计计算。13(2), 631–644 (1992) ·Zbl 0761.65023号 ·doi:10.1137/0913035
[25] Wan，M.，Ciardo，G.，Miner，A.S.：基于决策图编码结构的大型马尔可夫模型的近似稳态分析。性能评估。68(5), 463–486 (2011) ·Zbl 06016221号 ·doi:10.1016/j.peva.2011.02.005
[26] Zhao，Y.，Ciardo，G.：EVMDD编码CTMC稳态解的两阶段Gauss-Seidel算法。参见：第九届系统定量评估国际会议，QEST 2012，伦敦，英国，2012年9月17日至20日，第74-83页。IEEE计算机学会（2012）·doi:10.1109/QEST.2012.34
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。