| 講演名 | 2016-03-03 エージェント指向ペトリネットPN^2による有界活性の解析法とIoT応用サービスへの適用 津川 捷暉(山口大), 中堀 和哉(山口大), 山口 真悟(山口大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では，IoT 応用サービスにおけるオーバーフローやデッドロックの発生を解析することを目的とする．まずIoT 応用サービスをマルチエージェントシステムと捉え，エージェント指向ペトリネットPetri Nets in a Petri Net (PN2) でモデル化する．つぎに，デッドロックとオーバーフローを数学的にかつ効率良く取り扱うために，PN2の有界活性を定義し，有界活性を判定する手順を提案した．さらに，解析の一部にモデル検査の活用を試みた．最後に，提案した方法の適用例を示し，その有効性を議論した． |
| 抄録(英) | In this paper, we regard a service as a multi-agent system, and represent it as an agent-oriented Petri net, called Petri Nets in a Petri Net (PN2). We give a di nition of liveness for PN2 and propose an analysis method to check the liveness based on model checking. |
| キーワード(和) | 有界活性 / エージェント指向 / マルチエージェント / PN＾2 / モデル検査 |
| キーワード(英) | liveness / boundedness / agent-oriented / multi-agent / PN＾2 / model checking |
| 資料番号 | MSS2015-67 |
| 発行日 | 2016-02-25 (MSS) |
| 研究会情報 | |
| 研究会 | MSS |
|---|---|
| 開催期間 | 2016/3/3(から2日開催) |
| 開催地（和） | 海峡メッセ下関 |
| 開催地（英） | KAIKYO MESSE SHIMONOSEKI |
| テーマ（和） | 離散事象システム及び一般、Work In Progress、計測と自動制御学会・離散事象システム部会と併催 |
| テーマ（英） | |
| 委員長氏名（和） | 山根 智(金沢大) |
| 委員長氏名（英） | Satoshi Yamane(Kanazawa Univ.) |
| 副委員長氏名（和） | 名嘉村 盛和(琉球大) |
| 副委員長氏名（英） | Morikazu Nakamura(Univ. of Ryukyus) |
| 幹事氏名（和） | 中田 充(山口大) / 豊嶋 伊知郎(東芝) |
| 幹事氏名（英） | Mitsuru Nakata(Yamaguchi Univ.) / Ichiro Toyoshima(Toshiba) |
| 幹事補佐氏名（和） | 金城 秀樹(沖縄大) |
| 幹事補佐氏名（英） | Hideki Kinjo(Okinawa Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | エージェント指向ペトリネットPN^2による有界活性の解析法とIoT応用サービスへの適用 |
| サブタイトル（和） | |
| タイトル（英） | Analysis of Boundedness and Liveness for Agent-Oriented Petri Net PN^2 and its Application for IoT Services |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 有界活性 / liveness |
| キーワード(2)（和/英） | エージェント指向 / boundedness |
| キーワード(3)（和/英） | マルチエージェント / agent-oriented |
| キーワード(4)（和/英） | PN＾2 / multi-agent |
| キーワード(5)（和/英） | モデル検査 / PN＾2 |
| キーワード(6)（和/英） | / model checking |
| 第 1 著者 氏名（和/英） | 津川 捷暉 / Shoki Tsugawa |
| 第 1 著者 所属（和/英） | 山口大学(略称：山口大) Yamaguchi University(略称：Yamaguchi Univ.) |
| 第 2 著者 氏名（和/英） | 中堀 和哉 / Kazuya Nakahori |
| 第 2 著者 所属（和/英） | 山口大学(略称：山口大) Yamaguchi University(略称：Yamaguchi Univ.) |
| 第 3 著者 氏名（和/英） | 山口 真悟 / Shingo Yamaguchi |
| 第 3 著者 所属（和/英） | 山口大学(略称：山口大) Yamaguchi University(略称：Yamaguchi Univ.) |
| 発表年月日 | 2016-03-03 |
| 資料番号 | MSS2015-67 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | MSS-480 |
| ページ範囲 | pp.1-4(MSS), |
| ページ数 | 4 |
| 発行日 | 2016-02-25 (MSS) |