机译:自动机制建模的离散事件系统的最小诊断和诊断
机译:用无环标记Petri网建模的离散事件系统的可诊断性和在线诊断
机译:具有不完整模型的离散事件系统中的故障诊断:易学性和可诊断性
机译:由有限状态自动机建模的离散事件系统的新可预测性验证测试
机译:非循环标记的Petri网建模的离散事件系统的诊断性和在线诊断
机译:随机离散事件和网络物理系统的故障诊断和预后
机译:使用细胞自动机模型对微流体系统内的活细胞建模
机译:用于诊断具有部分有序观测的离散事件系统的自动切片
机译:可诊断系统模型与概率故障诊断。