尼古拉·福塔;穆罕默德·卡尼切;卡拉马卡农 用于建立可靠性建模的随机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 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:可靠性建模;广义随机Petri网;增量法 PDF格式BibTeX公司 XML格式引用 \textit{N.Fota}等人,在:可靠性中的统计和概率模型。第一届可靠性数学方法国际会议。1997年9月16日至19日,罗马尼亚布加勒斯特。巴塞尔:Birkhä用户。321--335(1998年;Zbl 1075.68559)