Simplification of Robotic System Model Analysis by Petri Net Meta-Model Property Transfer

要約

このホワイトペーパーでは、ロボットシステム階層ペトリネット（RSHPN）メタモデルプロパティが設計されたシステムのモデルへの転送により、ロボットシステムモデル分析の簡素化を示します。
重要な貢献には、次のものが含まれます。1）RSHPNメタモデルプロパティの分析。
2）RSHPN分析の個々のペトリ網の分析への分解、したがって州空間爆発の減少。
3）RSHPNメタモデルプロパティの生成されたモデルへの転送であるため、新しいロボットシステムを作成する際のRSHPNモデルの完全な再分析の必要性を排除します。
モデルのタスク依存部分のみを分析する必要があります。
このアプローチにより、分析が合理化され、設計時間が短縮されます。
さらに、システムの実装のための強固な基盤である仕様を生成します。
得られた結果は、ロボットシステムの特性を分析するための貴重な正式なフレームワークとしてのペトリネットの可能性を強調しています。

要約(オリジナル)

This paper presents a simplification of robotic system model analysis due to the transfer of Robotic System Hierarchical Petri Net (RSHPN) meta-model properties onto the model of a designed system. Key contributions include: 1) analysis of RSHPN meta-model properties; 2) decomposition of RSHPN analysis into analysis of individual Petri nets, thus the reduction of state space explosion; and 3) transfer of RSHPN meta-model properties onto the produced models, hence elimination of the need for full re-analysis of the RSHPN model when creating new robotic systems. Only task-dependent parts of the model need to be analysed. This approach streamlines the analysis thus reducing the design time. Moreover, it produces a specification which is a solid foundation for the implementation of the system. The obtained results highlight the potential of Petri nets as a valuable formal framework for analysing robotic system properties.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google