Mariaを用いたマルチエージェントネットのモジュラー可達性解析(一般)
スポンサーリンク
概要
- 論文の詳細を見る
マルチエージェントネットはマルチエージェントシステムの形式的なモデル記述言語である.これまでにマルチエージェントネットをモジュラーペトリネットへ変換する方法及び可達空間の同形性を示した.本論文ではモジュラーペトリネットの可達性解析ツールであるMariaを用いて,マルチエージェントネットのモジュラー可達性解析を行う.計算機実験によりその有効性を確認したので報告する
- 2010-01-14
著者
関連論文
- モジュラーペトリネットを用いたマルチエージェントネットの可達性解析について(ペトリネット,離散事象システム,一般)
- ペトリネットを用いたコレオグラフィ実現について
- NGMS:次世代生産しシステム : 分散型生産・ビジネスモデルの協調的統合(Inteligent Manufacturing Systems:IMS)
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- 需要家が複数存在する分散EMSにおける取引決定手法
- マルチエージェントネットの可達空間生成アルゴリズム(コンカレントシステム, 一般)