RDPS公司 swMATH编号： 18432 软件作者： 弗洛林·G·纳特金 描述： RDPS：用于验证和评估可靠计算机系统的软件包。本文介绍了软件工具RDPS。RDPS的第一个应用是验证由Petri网建模的同步系统。RDPS计算网络的不变量，生成可达图，并分析图的几个性质。第二个应用是使用随机Petri网理论评估性能或可靠性参数。 主页： http://www.informatik.uni-hamburg.de/TGI/pnbib/f/florin_g8.html 相关软件： 引用于： 1文件 3位作者引用 1 哈萨内·阿拉 1 雷内·戴维 1 让·勒贝尔 连载1篇 1 离散事件动态系统 在1个字段中引用 1 系统论；控制（93至XX） 按年份列出的引文