...
机译:使用验证器网络对有界和无界有标签Petri网进行实时诊断性分析
Cent Lille, CRIStAL, UMR 9189, F-59650 Villeneuve Dascq, France;
Cent Lille, CRIStAL, UMR 9189, F-59650 Villeneuve Dascq, France;
Cent Lille, CRIStAL, UMR 9189, F-59650 Villeneuve Dascq, France;
fault diagnosis; discrete event systems; labeled Petri nets; on-the-fly diagnosability analysis; verifier nets;
机译:使用验证者网的有界和无界标记的Petri网的在线诊断性分析
机译:使用最少的解释对Petri网进行动态诊断性分析
机译:有界标记优先型培养网模式的诊断性分析
机译:使用最小解释的标记培养网的现场诊断性分析
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用验证者网的有界和无界标记的Petri网的在线诊断性分析
机译:用整数规划验证有界petri网