AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
桂启山; 赵新国; 李义; 顾晓霞;
63680部队技术部,江苏,江阴,214431;
作战指挥; 可视化建模; 工作流; UML; Petri网;
机译:基于时间Petri网的UML2时序图的形式验证
机译:使用UML / Petri网建模策略的欧洲铁路交通管理系统验证
机译:基于UML和Petri网的业务流程建模的形式化和验证
机译:基于Petri网的工作流层次化建模与分析(Hierarchical Workfiow Model and Analysis Based on Petri-net)
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:基于Petri网建模的工业物联网无人机验证方法
机译:Petri网建模的事物系统工业互联网中包含的无人机验证方法
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。