机译:使用Petri网的机器人装配任务计划的任务分解和分析
机译:使用彩色Petri网集成任务网络和认知用户模型,并将其应用于作业设计以提高安全性和生产率
机译:彩色Petri网和图形仿真,用于验证飞机工业中的机器人单元
机译:使用彩色Petri网的机器人细胞装配任务的定性建模
机译:通过自动构建定性接触模型来合成用于机器人装配的离散事件控制器。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:使用petri网建立,分析和执行机器人任务
机译:用有色petri网建模环境系统。