退出
我的积分:
中文文献批量获取
外文文献批量获取
郭峰; 姚淑珍;
北京航空航天大学,计算机学院,北京,100083;
UML状态图; Petri网; 形式化语义;
机译:向Petri网转换的UML状态图形式化方法。
机译:基于形式化和基于Petri网的状态变化失效模型因素的可靠性建模扩展
机译:形式化和基于Petri网的状态变化失效模型因素的可靠性建模扩展
机译:从UML状态图和协作图到彩色Petri网模型:基于图变换的虚拟企业业务流程建模和分析方法
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:基于Petri网和时间序列模型的基于本体的服务组合的可靠性预测
机译:用于传达UML状态图的形式化执行语义和严格的分析方法
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。