| 講演名 | 2002/11/2 マルチエージェントネットの可達解析について 宮本 俊幸, 熊谷 貞俊, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 我々はマルチエージェントシステムの形式的な記述モデルとしてマルチエージェントネットを提案している.本論文ではマルチエージェントネットの可達解析について議論する. |
| 抄録(英) | An extended Petri net, called a multi agent net, has been proposed as a formal model for multi agent systems. In this paper, we discuss a reachability analysis method on multi agent nets. |
| キーワード(和) | ペトリネット / 可達解析 |
| キーワード(英) | Petri nets / reachability analysis |
| 資料番号 | CST2002-35 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2002/11/2(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | マルチエージェントネットの可達解析について |
| サブタイトル（和） | |
| タイトル（英） | On Reachability Analysis of Multi Agent Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri nets |
| キーワード(2)（和/英） | 可達解析 / reachability analysis |
| 第 1 著者 氏名（和/英） | 宮本 俊幸 / Toshiyuki MIYAMOTO |
| 第 1 著者 所属（和/英） | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
| 第 2 著者 氏名（和/英） | 熊谷 貞俊 / Sadatoshi KUMAGAI |
| 第 2 著者 所属（和/英） | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
| 発表年月日 | 2002/11/2 |
| 資料番号 | CST2002-35 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 429 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |