退出
我的积分:
中文文献批量获取
外文文献批量获取
高宏伟; 王永华; 张永忙;
郑州轻工业学院信息与控制工程系;
河南油田工程建设监理中心河南南阳;
Petri网; 可编程控制器; 控制模型; 逻辑方程; 程序设计;
机译:基于Petri网模型的信息管理软件服务建模方法研究
机译:虚拟协同环境下基于Petri网的虚拟代理与真实人之间管理方法研究
机译:基于Petri网的工作流过程建模与分析方法研究
机译:基于Petri网的Web服务组成的建模与转化方法研究
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:基于SNT Petri网理论的基于富媒体技术的演示记录制作自动化
机译:基于Petri网的协议一致性测试方法研究
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:一种过程优化方法,包括分析过程定义以发现控制序列依赖性,然后将控制序列逐步转换为相应的Petri网络,然后在另一步骤中分析Petri网络
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。