Diagnosability analysis; Discrete event system; Fault diagnosis; Labeled Petri net; Reduction rules;
机译:标记培养网建模复杂系统诊断性分析规则
机译:P-时间标记Petri网的可诊断性与故障诊断
机译:用无环标记Petri网建模的离散事件系统的可诊断性和在线诊断
机译:使用归约规则的带标记Petri网的诊断和可诊断性分析
机译:Petri网约简理论在Ada任务静态分析中的应用。
机译:使用SPM8和DARTEL进行白质减量分析在临床诊断为肾上腺皮质综合征和Richardson综合征的患者中的可行性
机译:使用验证者网的有界和无界标记的Petri网的在线诊断性分析
机译:将约简规则应用于代数petri网