退出
我的积分:
中文文献批量获取
外文文献批量获取
李飚; 郭峰; 姚淑珍;
北京航空航天大学计算机学院;
北京;
100083 北京航空航天大学计算机学院;
100083;
UML; 状态图; 自动机; EHA; Petri网;
机译:向Petri网转换的UML状态图形式化方法。
机译:基于图变换的UML和彩色Petri网集成建模与分析方法
机译:在系统建模中将UML映射到Petri网的研究
机译:从UML状态图到Petri网的转换方法
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:用UmL-RsDs解决petri网到状态图转换案例
机译:Qos-UniFrame:基于petri网的建模方法,用于确保分布式实时和嵌入式系统的Qos要求;会议论文
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:研究Petri网的装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。