...
机译:用于冗余系统可靠性分析的参数故障树及其高级Petri网语义
Petri nets; fault tolerant computing; redundancy; Parametric Fault Tree; Petri net semantics; SWN; dependability analysis; fault-tolerant multiprocessor; lumped Markov chain; minimal cut sets; redundant systems; structural T-invariant analysis;
机译:通过彩色Petri网评估故障树,分析铁路系统可靠性
机译:通过将故障树映射到贝叶斯网络来改进对可靠系统的分析
机译:使用高级故障树和随机Petri网形式主义对安全关键系统进行可用性分析
机译:通过参数故障树和高级Petri网评估工业可编程逻辑控制器的可靠性
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:使用高级Petri网建模免疫系统反应的方法学方法
机译:冗余系统可靠性分析的参数化故障树及其高级petri网语义