退出
我的积分:
中文文献批量获取
外文文献批量获取
谭冠政; 肖如健;
中南大学信息科学与工程学院;
湖南长沙410083;
时间Petri网; 工作流; 动态验证; 截止期限; 预测;
机译:Devops工作流程验证和使用非Markovian随机Petri网的持续时间预测
机译:基于Petri网的Grid工作流程验证和优化
机译:物流车辆调度系统中基于Petri网的并发冲突工作流建模与验证
机译:具有安全约束的组织间工作流的建模和验证:基于Petri网的方法
机译:网格流:具有Petri网接口的基于网格的科学工作流程系统。
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:工作流验证:使用基于petri网的技术查找控制流错误
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证
机译:使用彩色Petri网验证和分析JDF工作流程
机译:使用彩色Petri网对JDF工作流程进行验证和分析
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。