Diagnosability; Supervision patterns; Petri-nets; Petri-nets unfolding;
机译:如何使用模型检查来诊断Petri网中的故障模式
机译:用陪替氏网展开的可诊断性验证
机译:有界标记优先型培养网模式的诊断性分析
机译:监督模式:Petri网展开的正式诊断性检查
机译:有界Petri网的符号模型检查的编码方案比较。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:模型检查诊断有界标记的Petri网的监督模式
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证