退出
我的积分:
中文文献批量获取
外文文献批量获取
胡乃静; 赵亮; 胡金化;
复旦大学,计算机与信息技术系,上海,200433;
东华大学,计算机学院,上海,200051;
Petri网; 工作流; 工作流网; 正确性验证;
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法(英文)
机译:应用基于Petri网的约简方法验证工作流模型的正确性
机译:一种基于Petri网约简的改进的工作流模型验证方法
机译:网格流:具有Petri网接口的基于网格的科学工作流程系统。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于代理人Petri网络形式主义的多助理系统的元建模和验证方法
机译:WOFLaN:基于petri网的工作流分析器
机译:基于Petri网建模的工业物联网无人机验证方法
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:用于计划运动描述的结构RTL正确性验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。