×
克里斯托夫·林德曼;德语，莱因哈德

使用状态相关的确定服务时间对离散事件系统进行建模。 （英文） Zbl 0776.68126号

离散事件动态。系统。 3，编号2-3，249-270（1993）.
摘要：介绍了确定性和随机Petri网（DSPN）数值求解方法的扩展，以处理具有标记相关触发延迟的确定性转换。其基本思想在于将马尔可夫链的生成器矩阵的每一行按对应于该标记的延迟值缩放，该矩阵服从于具有标记相关触发延迟的确定性转换。该求解方法的计算公式在软件包DSPNexpress中实现，该软件包完全自动化了DSPN的求解过程。DSPN的扩展建模能力通过具有泊松到达、可降级确定性服务需求和有限容量的单服务器排队系统进行了说明。

MSC公司：

68平方英寸 模拟（MSC2010）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

性能和可靠性建模;计算机辅助性能评估软件系统;随机Petri网

软件：

SPNP公司;DSPN快递
PDF格式BibTeX公司 XML格式引用
\textit{C.Lindemann}和\textit{R.German}，离散事件动态。系统。3，编号2--3，249--270（1993；Zbl 0776.68126）
全文： 内政部

参考文献：

[1] Ajmone Marsan M.、Balbo G.、Bobbio A.、Chiola G.、Conte G.和Cumani A.1989年。执行策略对随机Petri网的语义和分析的影响。IEEE传输。软件工程15，第832-846页·数字对象标识代码：10.1109/32.29483
[2] Ajmone Marsan，M.和Chiola，G.1987年。关于具有确定性和指数分布触发时间的Petri网。1987年《Petri网进展》（G.Rozenberg编辑）。《计算机科学讲义》，第266卷，纽约：斯普林格出版社，第132-145页。
[3] Bacelli，F.和Trivedi，K.S.1983年。M/G/2备用冗余系统分析。程序。第九国际交响乐团。《计算机性能建模》（A.K.Agarwala和S.K.Tripathi，eds.阿姆斯特丹：北荷兰，第457-476页）。
[4] Chiola，G.1991年。GreatSPN 1.5软件架构。程序。第五届国际会议《性能分析建模技术和工具》，意大利都灵，第117-132页。
[5] Chlamtac，I.、Franta，W.R.和Levin，K.D.，1979年。BRAM：广播识别访问方法。IEEE传输。Comm.，27，第1183-1189页·doi:10.1109/TCOM.1979.1094529
[6] Choi，H.、Mainkar，V.和Trivedi，K.S.，1993年。确定性和随机Petri网的敏感性分析。程序。《计算机和电信系统的国际Conf.建模分析与仿真》，加利福尼亚州圣地亚哥，第271-276页。
[7] Ciardo，G.、Blakemore，A.、Chimento P.F.、Muppala，J.K.和Trivedi，K.S.1992年。使用随机奖励网自动生成马尔可夫奖励模型。线性代数、马尔可夫链和排队模型（C.Meyer和R.J.Plemmons，eds.），数学及其应用IMA卷第48卷，纽约：Springer-Verlag·Zbl 0799.60085号
[8] Ciardo，G.、Muppala，J.和Trivedi，K.S.1989年。SPNP：随机Petri网包。程序。第三届国际Petri网和性能模型研讨会，日本京都，第142-151页。
[9] Couvillion，J.、Freire，R.、Johnson，R.，Obal，W.D.、Qureshi，M.A.、Rai，M.、Sanders，W.H.和Twedt，J.E.，1991年。使用UltraSAN进行性能建模。IEEE软件，8，第69–80页·doi:10.1109/52.84218
[10] Gross，D.和Miller，D.R.，1984年。随机技术作为瞬态马尔可夫过程的建模工具和求解过程。操作。Res.，32，第345–361页·Zbl 0536.60078号 ·doi:10.1287/opre.32.2343
[11] Kulkarni，V.G.、Nicola，V.F.和Trivedi，K.S.1987年。多模式系统上作业的完成时间。高级应用程序。概率。，19，第932-954页·Zbl 0632.60101号 ·doi:10.2307/1427109
[12] Leffler，S.J.、McKusick，M.K.、Karels，M.J.和Quarterman，J.S.1989。4.3BSD UNIX操作系统的设计和实现。马萨诸塞州雷丁：Addison-Wesley·Zbl 0744.68006号
[13] Lindemann，C.1993年。一种改进的数值算法，用于计算确定性和随机Petri网模型的稳态解。性能评估。18，（印刷版）·Zbl 0785.68008号
[14] Lindemann，C.1992年。确定性介质接入方案的随机性能建模技术。程序。第三届IEEE分布式计算系统未来趋势研讨会，中华民国台北，第346–353页。
[15] Lindemann，C.1992年b。DSPNexpress：用于有效解决确定性和随机Petri网的软件包。程序。第六届国际会议计算机性能评估建模技术和工具。英国爱丁堡，第15-29页。
[16] Lindemann，C.、Ciardo，G.、German，R.和Hommel，G.，1993年。基于确定性和随机Petri网的自动化制造系统性能建模。程序。IEEE国际会议机器人与自动化。佐治亚州亚特兰大，第576–581页。
[17] Meyer，J.F.1980年。关于评估可降级计算系统的性能。IEEE传输。计算。，29，第720-731页·Zbl 0435.68007号 ·doi:10.1109/TC.1980.1675654
[18] Meyer，J.F.、Movaghar，A.和Sanders，W.H.1985年。随机活动网络：结构、行为和应用。程序。意大利都灵第一国际研讨会定时Petri Nets，第106-115页。
[19] Murata，T.1989年。Petri网：属性、分析和应用.proc。IEEE，77，第541-580页·数字对象标识代码：10.1109/5.24143
[20] O'Reilly and Associates Inc.1990。X Window System定义指南，第5卷，X Toolkit内部参考手册。
[21] Sanders，W.H.和Meyer，J.F.1991年。指定性能、可靠性和可执行性度量的统一方法。关键应用程序的不可靠计算（A.Avizienis和J.Laprie编辑）。纽约：Springer-Verlag，第216-237页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。