基于 Petri 网元模型属性传递简化机器人系统模型分析
机器人学
2026-02-12 v4 多智能体系统
摘要
本文提出了一种机器人系统模型分析的简化方法，利用 Robotic System Hierarchical Petri Net（RSHPN）元模型属性的传递作用于设计系统的模型。关键贡献包括：1）分析 RSHPN 元模型属性；2）将 RSHPN 分析分解为对各个 Petri 网的分析，从而减少状态空间的爆炸；3）将 RSHPN 元模型属性传递到所生成的模型中，从而消除在创建新的机器人系统时对 RSHPN 模型进行完整重新分析的需求。仅需对模型中与任务相关的部分进行分析。该方法简化了分析过程，从而缩短设计时间。此外，它产生了一个作为系统实现坚实基础的规格说明。所获得的结果凸显了 Petri 网作为分析机器人系统属性的有价值形式框架的潜力。
引用
@article{arxiv.2407.06454,
title = {Simplification of Robotic System Model Analysis by Petri Net Meta-Model Property Transfer},
author = {Maksym Figat and Cezary Zieliński},
journal= {arXiv preprint arXiv:2407.06454},
year = {2026}
}
备注
16 pages