退出
我的积分:
中文文献批量获取
外文文献批量获取
唐燕飞; 张为群;
西南大学计算机与信息科学学院;
用例; 工作流; 业务过程; Petri网; 形式化; 业务过程建模;
机译:晶圆制造的建模,调度和性能评估:一种基于排队的有色Petri网和基于GA的方法
机译:基于用例的基于用例的软件产品线建模方法
机译:基于代理的协作业务过程建模和验证:以交互和行为为中心的方法
机译:将组织学方法与PETRI网络的时间方面相集成以进行业务过程建模
机译:一种基于逻辑的方法,用于基于用例的需求验证和域模型改进。
机译:基于Petri网的新型传感器网络中传感器与地理环境相互作用的新型建模方法。
机译:Qos-UniFrame:基于petri网的建模方法,用于确保分布式实时和嵌入式系统的Qos要求;会议论文
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于Petri网建模的工业物联网无人机验证方法
机译:基于改进的Petri网的技术运营建模方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。