机译:用陪替氏网展开的可诊断性验证
Faculty of Engineering Science, Univ. Austral de Chile, Valdivia, Chile;
rnLaboratoire des sciences de l'information et des systernes, Marseille, France;
rnLRI, Univ. Paris-Sud, CNRS/INRIA Saclay, Orsay, France;
机译:使用验证器网络对有界和无界有标签Petri网进行实时诊断性分析
机译:使用验证者网的有界和无界标记的Petri网的在线诊断性分析
机译:基于验证器网络的Petri网可诊断性分析的新方法
机译:基于Petri网展开的并行LTL-X模型检查的可诊断性验证
机译:使用网络展开对时间Petri网进行监督控制。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:Cunf:用于展开和验证带有读弧的陪替氏网的工具
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证