科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
高嵩; 欧阳昱; 刘玉树;
北京理工大学计算机系;
北京;
100081;
有向图; 转换; 验证;
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法(英文)
机译:工作流Petri网的优化和形式验证方法
机译:基于对象Petri网模型的有向图存储结构研究-工作流中的定义
机译:网格流:具有Petri网接口的基于网格的科学工作流程系统。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于petri网和概率模型检验的Internet蠕虫传播建模,仿真与验证方法。
机译:WOFLaN:基于petri网的工作流分析器
机译:使用Petri网模型映射的实时工作流平台的系统和方法
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:基于Petri网建模的工业物联网无人机验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。