退出
我的积分:
中文文献批量获取
外文文献批量获取
郝真鸣; 李承旺; 张超岩; 冉宁;
河北大学电子信息工程学院;
河北大学物联网智能技术研究中心;
河北大学节能技术研发中心;
离散事件系统; PETRI网; 故障诊断; 可诊断性;
机译:使用验证者网的有界和无界标记的Petri网的在线诊断性分析
机译:使用验证器网络对有界和无界有标签Petri网进行实时诊断性分析
机译:基于验证器网络的Petri网可诊断性分析的新方法
机译:使用基础标记对有界Petri网进行共诊断性验证
机译:组成分层时间Petri网的验证方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:用整数规划验证有界petri网
机译:一种过程优化方法,包括分析过程定义以发现控制序列依赖性,然后将控制序列逐步转换为相应的Petri网络,然后在另一步骤中分析Petri网络
机译:Petri网建模的事物系统工业互联网中包含的无人机验证方法
机译:基于Petri网建模的工业物联网无人机验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。