退出
我的积分:
中文文献批量获取
外文文献批量获取
刘勇; 吴哲辉;
中国计算机学会;
时序Petri网; 线性时序逻辑; 语言描述能力; 控制器;
机译:基于时间Petri网的UML2时序图的形式验证
机译:复合Petri网和替代方案集合Petri网:两种形式化的决策支持:
机译:使用验证者网的有界和无界标记的Petri网的在线诊断性分析
机译:基于转化函数的有界Petri网的主管合成
机译:具有离散和连续时序的随机Petri网的仿真和数值解。
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:有界和有界自由选择Petri网的简化与合成
机译:具有离散连续时序的相位型随机petri网分析
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:用于将填充层压纤网从主要形式转化为次要形式的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。