退出
我的积分:
中文文献批量获取
外文文献批量获取
吴哲辉; 蒋昌俊;
不详;
可达图; 网图; 算法; Petri网;
机译:有限自动机的非兴趣Petri网可达图的有限逼近
机译:关于Petri网集MSC图的转换算法的实现
机译:TIMSPAT-基于可达图搜索的优化工具,用于基于着色Petri网的调度
机译:一类动态Petri网的符号可达图及相关马尔可夫过程
机译:有界Petri网的符号模型检查的编码方案比较。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:基础可达性图的有界Petri网的非阻塞验证
机译:用整数规划验证有界petri网
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:自适应Petri网图实时求解多核单芯片系统中分布式计算的程序硬件环境诊断方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。