退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:随机动态着色Petri网的多智能体系统组成规范
Everdij M.H.C.; Klompstra M.B.; Blom H.A.P.; Klein Obbink B.;
机译:用于安全评估目的的ACAS随机动态着色Petri网模型的开发,验证和应用
机译:使用彩色Petri网的柔性生产系统的物料流和控制顺序规范
机译:用于多状态多单元系统的可靠性和维护分析的彩色随机Petri网建模
机译:通过有序逻辑编程(CPN-LP)表示的彩色Petri网规范多智能体系统的规格和快速原型
机译:使用彩色Petri网和Java进行密码协议规范和分析。
机译:利用随机Petri网对分子生物学中的随机系统进行定量建模
机译:ACAS操作的随机和动态着色Petri网模型
机译:基于随机时间Petri网评估星座备用策略的方法和系统
机译:在自组织多主体系统中动态调整关系网络
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。