退出
我的积分:
中文文献批量获取
外文文献批量获取
陈为雄;
中国科学院自动化所,复杂系统与智能科学重点实验室,北京,100080;
Petri网; 面向代理; BDI;
机译:基于BDI Petri网的飞行任务建模
机译:BPRN:基于Petri-Net和工作流模型扩展的业务流程中资源消耗的正式模型
机译:JBdiEmo —用于Jadex BDI代理系统的基于OCC模型的情感引擎
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于Petri网和时间序列模型的基于本体的服务组合的可靠性预测
机译:基于模拟的模型检测方法,通过混合功能petri网扩展 Caenorhabditis elegans it>外阴发育过程中的细胞命运规范
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:程序,列车运行自适应PETRI NET模型生成器,列车测距安排支持装置,列车运行自适应PETRI NET模型生成装置和列车测距安排支持方法
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。