×

用于建立可靠性建模的随机Petri网的增量方法。 (英语) Zbl 1075.68559号

Ionescu,D.C.(编辑)等人,《可靠性中的统计和概率模型》。第一届可靠性数学方法国际会议。罗马尼亚布加勒斯特,1997年9月16日至19日。巴塞尔:Birkhä用户(ISBN 3-7643-4068-1)。《工业和技术统计》,321-335(1998年)。
摘要:针对大型软硬件容错系统的可靠性(可靠性、可用性和安全性)评估,提出了一种基于广义随机Petri网的建模方法。根据一套构建指南和规则,以增量方式构建和验证模型,旨在获得结构有效、可读、紧凑和灵活的模型。
关于整个系列,请参见[Zbl 0912.00019号].

MSC公司:

68平方米 计算机系统环境下的性能评估、排队和调度
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用