退出
我的积分:
中文文献批量获取
外文文献批量获取
栾文静; 杜玉越;
中国计算机学会;
Petri网; 图书馆; 借阅系统; 图书管理;
机译:基于Petri网形式主义的加工系统模块化逻辑控制器的建模与分析方法。
机译:基于Petri网和重写逻辑基于多功能关键系统的多智能临界系统正式分析
机译:基于队列逻辑Petri网的业务流程建模与分析
机译:基于Petri网的系统方法作为制备和分析了动脉粥样硬化发展过程的综合生物系统的建模和分析方法
机译:使用Petri网和时间逻辑进行实时系统规范和分析。
机译:基于Petri网的血管生成分子调控所选方面的建模和分析方法
机译:基于Petri网形式主义的加工系统模块化逻辑控制器建模与分析方法论。
机译:基于随机petri网的并行计算机系统的分析性能建模
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于Petri网建模的工业物联网无人机验证方法
机译:基于改进的Petri网的技术运营建模方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。