退出
我的积分:
中文文献批量获取
外文文献批量获取
赵文; 袁崇义; 刘刚; 张世琨; 王立福;
北京大学;
信息科学与技术学院;
北京;
100871;
解放军信息工程大学;
河南;
郑州;
450052;
模型验证; 化简规则; 过程网; P/T系统;
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法(英文)
机译:非计算工作流中的文献来源:基于黄石国家公园地质生物学实地考察的研究过程模型
机译:将多态过程模型转换为Petri Net:一种验证基于工作流的Web服务组合的正式方法
机译:基于树的工作流验证框架,用于计算树逻辑(CTL)。
机译:验证基于个人的马尔可夫样昆虫行为随机过程模型和虚拟农场概念以增强特定地点的IPM
机译:将多态过程模型转换为Petri网:一种验证基于工作流的Web服务组合的正式方法
机译:基于广义似然比的线性过程模型在线验证
机译:基于工作流的合作网络分析方法及其系统,用于通过分析现有工作流过程模型来分析人力资源,费用和工作合作度
机译:从非结构化循环过程模型生成可执行工作流代码的方法和执行任意过程模型的工作流代码的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。