退出
我的积分:
中文文献批量获取
外文文献批量获取
韩晓光; 陈增强; 张奎泽; 刘忠信; 张青;
南开大学计算机与控制工程学院;
天津300350;
天津市智能机器人技术重点实验室;
中国民航大学理学院;
天津300300;
哈尔滨工程大学自动化学院;
哈尔滨150001;
Petri网系统; 可达性; 矩阵的半张量积; 变迁-状态转移矩阵; 变迁-状态邻接矩阵;
机译:混合Petri网用于微电网系统的建模和分析
机译:利用Petri网系统进行冗余系统生成可用性树的建模与分析。
机译:验证模型:Petri网的新知识可达性分析方法
机译:基于矩阵的半张量积的一类Petri网的建模和可达性分析
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:使用Petri网建模方法分析阿尔茨海默氏病中神经元通路的行为
机译:具有Petri网系统的死锁制造系统生成可达性树的建模与分析
机译:petri网建模和自动软件安全分析:嵌入式军事应用的方法论
机译:通过使用Petri-Net建模验证工业互联网系统中包含的无人机的方法
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:一种过程优化方法,包括分析过程定义以发现控制序列依赖性,然后将控制序列逐步转换为相应的Petri网络,然后在另一步骤中分析Petri网络
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。