机译:自动引导车辆任务可靠性建模使用组合的故障树和Petri网方法
机译:有色Petri网的集成自动导引车系统引导路径配置的建模与分析。
机译:有色Petri网的集成自动导引车系统引导路径配置的建模与分析。
机译:用彩色培养网综合自动引导车辆系统的建模与分析
机译:使用混合Petri网对自动并行停车系统进行建模和仿真。
机译:基于Petri网和时间序列模型的基于本体的服务组合的可靠性预测
机译:结合故障树和Petri网方法的自动制导车辆任务可靠性建模
机译:petri网建模和自动软件安全分析:嵌入式军事应用的方法论