退出
我的积分:
中文文献批量获取
外文文献批量获取
巩君华; 张继军; 范昊;
中国计算机学会;
袋自动机; Petri网; 计算模型; 等价转化;
机译:使用Petri网和确定性有限自动机的无冲突路由问题的模型重构
机译:使用增强的有色时间资源,基于Petri网模型的进化内共生学习自动机方法对自动化制造系统进行无死锁调度
机译:使用状态类定时自动机对时间Petri网进行模型检查
机译:Petri网与元胞自动机之间的关系,用于柔性制造系统分析
机译:自动机,形式语言和实变量(包括多模式,L系统和元胞自动机)之间的复杂性理论并行。
机译:细胞自动机模型作为第一个基于模型的β细胞中胰岛素颗粒转运相互作用机制的评估
机译:自动机,随机微分方程和Petri网之间的双仿真关系
机译:夸克复合袋模型:定义氘核中6夸克袋的混合物
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:分布式平行处理定时彩色Petri网仿真模型的方法
机译:工业控制系统的Petri网仿真模型的生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。