退出
我的积分:
中文文献批量获取
外文文献批量获取
常关羽; 杨海成; 莫蓉;
西北工业大学现代设计与集成制造技术教育部重点实验室;
业务流程模型; Petri-Net; 工作流; 模型验证;
机译:BPRN:基于Petri-Net和工作流模型扩展的业务流程中资源消耗的正式模型
机译:Grid-Flow:具有Petri-net界面的基于网格的科学工作流程系统
机译:XRL / Woflan:组织间工作流的基于XML / Petri-Net的语言的验证和可扩展性
机译:基于供应链的Petri-Net的铁路货运的业务流程再造
机译:基于Petri-Net的软件可视化方法用于软件定制。
机译:基于k-mer分析工作流程的基于下一代测序的临床微生物测定的分析性能验证
机译:重新设计采购流程:一种基于知识和信息流动的新方法论
机译:身份验证流程创建系统,身份验证设备,身份验证流程创建方法和身份验证流程创建程序
机译:通过使用Petri-Net建模验证工业互联网系统中包含的无人机的方法
机译:使用基于策略的模型到模型的转换和验证技术的基于服务的流程
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。