退出
我的积分:
中文文献批量获取
外文文献批量获取
马华东;
北京邮电大学计算机科学与技术系;
计算机绘图; 计算机动画; Petri网;
机译:基于面向对象的Petri网的业务流程时间约束模型验证
机译:基于BDD的1-Safe Petri网时间特性的有界模型检查
机译:基于带有混合资源的p时间Petri网模型的工作流管理系统的实时调度
机译:基于Petri网模型的工业4.0网络和物理生产分部的描述
机译:基于普通和时间Petri网的Muzima指纹模块的建模,分析和仿真
机译:基于Petri网和时间序列模型的基于本体的服务组合的可靠性预测
机译:使用Petri网将隐孢子虫描述为基于时间的保护系统
机译:基于时间petri网的决策组织绩效评估
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:优化执行时间以实现面向状态或面向流程的模型(例如Petri网或机器)的过程
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。