克里斯托夫·林德曼 使用DSPNexpress进行随机建模。 （英语） Zbl 0818.68116号 Berichte der Gesellschaft für Mathematik und Datenverabeitung（GMD-Bericht）。233.《慕尼黑：奥尔登堡》，第82页（1994年）。 摘要：本报告说明了使用确定性和随机Petri网（DSPN）进行性能和可靠性建模的图形软件包的用途。该软件包被称为DSPNexpress，因为其主要科学贡献在于其高效的数值求解组件。DSPNexpress 1.3版解决了复杂DSPN，与之前已知的数值方法相比，CPU时间减少了四个数量级。在DSPNexpress中，DSPN的复杂数值求解算法对用户是透明的，因为该算法是完全自动化的。描述了在X11窗口环境下运行的图形界面的特性和功能。本报告特别适用于对计算机系统、通信网络或生产系统的性能和可靠性建模感兴趣的研究人员和从业人员。读者应该有一些Petri网和基本概率方面的背景知识。 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：图形化软件包;性能和可靠性建模;随机Petri网 PDF格式BibTeX公司 XML格式引用 \textit{C.Lindemann}，使用DSPNexpress的随机建模。慕尼黑：奥尔登堡（1994；Zbl 0818.68116）